For every real ,For integer , strong induction proves this by splitting according to parity. If , every prime in divides , soIf , the valuation of a near-central binomial coefficient givesThe 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 .
Codex Wiki