ペアノの存在定理
↑ (Coddington & Levinson 1955, p. 6)