Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 7 4 i Solution 2026-10-14
Put , with , and . Since , the finite-prefix bound is . For , gives absolute convergence of the tail and the correct estimateThe PDF omits the factor from this bound. Its printed version is false: choose and all other , take , and let . The left side tends to one while the printed right side is . Thus the intended bound must be qualified as above. At , even absolute convergence need not hold for a general sequence tending to zero.
For each fixed , the displayed finite-prefix limit follows immediately: . The stronger statement needed for part (ii) isHere is a proof, so the fixed-prefix formula is not silently substituted for an infinite-series result. Set for small nonzero . The multiplied tail is at most , which tends to zero because . For the prefix, choose with for . ThenIts upper limit is at most , and is arbitrary. This proves sinc-squared summation of a sequence tending to zero, including approach from either sign of .
For the unheaded piecewise-affine continuation, continuity gives . Evaluate the asserted symmetric quotient at . For sufficiently small positive ,Its zero limit forces , and the continuity relation then forces . Only the condition at the corner is needed; at points away from it such a quotient is automatically zero even for unequal slopes.
If the symmetric partial sums of tend to zero at every point outside a finite set, then all coefficients vanish. Almost-everywhere convergence first gives . The twice-integrated series is continuous. Riemann summation of a convergent trigonometric series makes its symmetric second derivative zero away from the exceptional points, so it is affine on each intervening interval. Sinc-squared summation of a sequence tending to zero makes its symmetric first-order quotient zero everywhere, removing all possible affine corners. The globally affine function differs from a periodic function by , forcing ; periodicity then makes it constant, and integration against each nonzero frequency gives .