>>633
「For some n, ∀N⇒Composite such that n^2<N<(n+1)n」
酷いね、これ