For every real ,
For integer , strong induction proves this by splitting according to parity. If , every prime in divides , so
If , the valuation of a near-central binomial coefficient gives
The binomial estimates follow from the binomial theorem; in the odd case the two equal central coefficients together are at most . The result for real follows by replacing with .

Articles by others on the same topic (0)

There are currently no matching articles.