A THEOREM OF SYLVESTER AND SCHUR
Pav Erpos*.
[Extracted from the Journal of the London Mathematical Society, Vol. 9, Part 4.]
The theorem in question asserts that, if n > k, then, in the set of integers
n, n+], n+2, ...,v-+k—1, there is a number containing a prime divisor
greater than &. If n=k+1, we obtain the well-known theorem of
Chebyshev. ‘The theorem was first asserted and proved by Sylvester}
about forty-five years ago. Recently Schur} has rediscovered and again
proved the theorem.
The following proof is shorter and more elementary than the previous
ones. We shall not use Chebyshev’s results, so that we shall also prove
Chebyshev’s theorem§.
* Recoived 22 March, 1034; read 20 April, 1934
} J.J. Sylvester, “On arithmetical series”, Messenger of Math, 21 (1802), 1-19,
87-120; and Collected mathematical papers, 4 (1912), 687-731.
t J. Schur, “ Einige Satze dber Primzahien mit Anwendung auf Irreduzibilitatefragen ”
Siteungeberichte der prewssiechen Akademie der Wissenachaften, Phyo. Math. Klasse, 23 (1020),
1-24.
§ P. Erdds, “Beweis eines Satzes von Tschebyschef”, Acta Lit. ac Sci. Regiae
Universitatis Hungarieae Fransciseo-Josephinae, 5 (1932), 194-198.283 P. Erpés
We first express the theorem in the following form:
Ifn > 2k, then (z) contains a prime divisor greater than k.
We shall prove first the following lemma :
i (f) is divisible by a power of a prime p*, then p" -8, +(k) <}k. Hence, if (3) had no prime factors greater
than &, we should have, from the lemma, @ 2, there is always a prime number between y/n and 2.A THEOREM OF SYLVESTER AND ScHUR. 284
Since x(k) < 3k for k>37* (we see the validity of this proposition by
considering the number of integers less than k and not divisible by 2, 3, and
3) we can prove the theorem, just as in § 1, for
s7 nt. We suppose that
b> 37. If (71) contains no prime divisor exceeding f. then
GB ek ah ee
This inequality is an immediate consequence of the Jemma about the
prime power divisors of (i):
First we shall prove+ that
“> 1p Top, Wp
PM VN BR
(1)
For this purpose, we analyse the prime factors of the binomial coefficient
2n) _. 2a)!
(a) = Ge
This evident that (77 ") contains every prime p such that n