INTEGERS

この記事では標題の主張を証明します。この事実からは「相異なる三角数の和として表すことのできない最大の整数」という特徴を持っていることがわかります。 証明は integers.hatenablog.com で紹介したSierpinskiの補題に基づきます：補題 (Sierpinski 1955) 自然数列が次の二条件を満たすと仮定する： 非負整数が存在し…