もう一度無限の定義貼り
∃∞∀a(a∈R=>∞>a)