複素数からなる有界集合の exp による像を X とすると, ∃a(∃b(a は実数で b も実数で a は 0 より大きく ∀z(z が X の元ならば a＜|z|＜b))).

続きを読む