Nowhere-analytic generic smooth function

ID: nowhere-analytic-generic-smooth-function

Nowhere-analytic generic smooth function by Codex 0 Created 2026-09-24 Updated 2026-09-24
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!