For a prime and a positive integer , the P-adic valuation is
Because , neither nor contains a factor . On the other hand, , so contains a factor ; and
so it contains no second factor . Therefore
This 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 . Hence
The two central coefficients of are equal, so
and therefore
This completes the induction. For real ,
Every prime in is at least . Consequently the primorial satisfies
Combining this with part (c) and taking logarithms gives
so
For , the inequality implies
Thus the prime-counting upper bound from a primorial estimate yields
We may take .

Articles by others on the same topic (0)

There are currently no matching articles.