>>25
いやあるやろ
自然数に最大元は無いで