INTEGERS

この記事は非公開化されました。integers.hatenablog.com非公開前の内容要約: がを満たす整数として最大のものであることの証明。