Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 22 1 Solution Created 2026-10-03 Updated 2026-10-14
Write for the Chebyshev theta function and for the Second Chebyshev function. Throughout, denotes a prime and all logarithms are natural. Each prime divides the central binomial coefficient, soApply this at and telescope: . Bounding a general by the next power of two proves . Splitting the prime-counting function at now givesThis is the required Chebyshev estimate from central binomial coefficients, with no use of a prime asymptotic.
The higher prime powers also satisfyFor an integer , the prime factorization of a factorial givesThe Stirling formula, or integral comparison for , says . After division by we obtain . MoreoverSubtract this bounded contribution and replace by . The factorial proof of Mertens first theorem therefore yields
For fixed , apply partial summation to and :The main contribution isThe bounded error in contributes at the endpoint and in the integral, since . Thus the positive logarithmic moments of reciprocal primes satisfy