Because , neither nor contains a factor . On the other hand, , so contains a factor ; andso it contains no second factor . ThereforeThis is the valuation of a near-central binomial coefficient.
It suffices first to prove the elementary primorial bound for positive integers , by strong induction. The case is immediate.
If , every prime with divides : the numerator contains , whereas the two copies of do not. Since these primes are distinct,The induction hypothesis and the binomial theorem give
If , part (b) shows that every prime divides . HenceThe two central coefficients of are equal, soand thereforeThis completes the induction. For real ,
Every prime in is at least . Consequently the primorial satisfiesCombining this with part (c) and taking logarithms givessoFor , the inequality impliesThus the prime-counting upper bound from a primorial estimate yieldsWe may take .
Articles by others on the same topic
There are currently no matching articles.