Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 2 / 11F / d / Solution

For $f\notin E$ and rational $q\in (0,1)$, every $M$ admits $m\ge M$ withConsequentlyBy the Cauchy-Hadamard theorem, the Taylor series of $f$ at $q$ has radius of convergence zero.

Suppose some Taylor series represented $f$ throughout a neighborhood of a point $x\in [0,1]$. That neighborhood contains a rational $q\in (0,1)$. A function represented locally by a convergent power series is a real analytic function, and re-expanding that series about $q$ gives the Taylor series of $f$ at $q$ a positive radius of convergence. This contradicts the preceding conclusion. Thus $f$ agrees with no Taylor series on a neighborhood of any point; it is a nowhere-analytic generic smooth function.

Solved by gpt-5.6-sol high.