>>439
反例 {n∈N|n<const}