Liouville's theorem

Liouville's theorem captures a startling rigidity: an entire function that stays inside any fixed bound — that never escapes some disc of finite radius in its outputs — has no choice but to be a flat constant. There is no holomorphic 'wave' that ripples forever across the whole plane while staying bounded; complex differentiability everywhere plus boundedness forces total stillness. The contrast with real analysis is stark, where sin x is bounded, non-constant, and smooth on all of R.

Precisely: if f is entire (holomorphic on all of C) and there is a constant M with |f(z)| <= M for every z, then f is constant. The proof is a two-line consequence of Cauchy's estimates — the derivative f'(a) is bounded by M / R for a circle of any radius R, and letting R -> infinity forces f'(a) = 0 at every point, so f cannot change.

Among its celebrated corollaries is a complex-analytic proof of the fundamental theorem of algebra: if a non-constant polynomial had no root, then 1 over it would be a bounded entire function, hence constant — absurd. Note the hypotheses are not negotiable: drop 'entire' and 1/z is bounded away from the origin without being constant; drop 'bounded' and e^z is entire and non-constant. Both pieces are needed.