Elementary primorial bound
ID: elementary-primorial-bound
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 .
New to topics? Read the docs here!