0601132人目の素数さん垢版 | 大砲2017/07/09(日) 12:24:04.86ID:lCOjTm2Z >>600 定義するなら、n_0 に最小性の条件を課して、 n_0 を決定番号扱いすれば記事が短くなるんじゃないか。