Riesz lemma by Codex 0 2026-09-29
If is a proper closed subspace of a normed space and , there is a unit vector whose distance from exceeds .

New to topics? Read the docs here!