>>651
気に入る入らない以前に、元がそういう問題だ
それに、こんなの基礎論とか言うほどのことでもないだろ、専門でない俺でも分かってんだから
イプシロン-デルタ論法を解析論の専門用語と言うのと同レベル
>>650
というわけで、あなたがLeanのNatural number gameから頑張れ