>>691
勝手に決めていいのか?
∀x∈ℝ^ℕ. P(なんちゃら)≧99/100
だろ
∀が頭にある時点でダメだね