Nowhere-analytic generic smooth function
ID: nowhere-analytic-generic-smooth-function
The generic derivative bound implies that at every rational ,The Cauchy-Hadamard theorem therefore gives radius zero to the Taylor series at every such . If a Taylor series represented on a neighborhood of any point, that neighborhood would contain a rational point at which was real analytic, a contradiction.
New to topics? Read the docs here!