Satz von Sárközy

Der Satz von Sárközy ist ein Teilbeweis für Erdős's Quadratfreiheits-Vermutung. Diese besagt, dass der mittlere Binomialkoeffizient

${2n \choose n}$

für $n>4$ niemals quadratfrei ist. András Sárközy bewies, dass ein $n_{0}$ existiert, so dass dies für alle $n>n_{0}$ zutrifft, was als Satz von Sárközy bekannt ist. Er zeigte weiters 1985, dass

$\ln s(n)\approx \left({\sqrt {2}}-2\right)\zeta \left({\frac {1}{2}}\right){\sqrt {n}}$,

wobei $\zeta$ die Riemannsche Zetafunktion bezeichnet sowie $s(n)$ den quadratischen Anteil von $n$, das heißt, den größten quadratischen Teiler. Die Zahl $2^{8000}$ konnte von Andrew Granville und Olivier Ramaré als obere Schranke für $n_{0}$ ermittelt werden (1996). In Verbindung mit einem früheren Beweis der Erdős'schen Vermutung für $4<n<2^{774840978}$ war diese somit allgemein bewiesen.