0108132人目の素数さん垢版 | 大砲2020/04/27(月) 19:26:53.75ID:lo91ISHH >>107 m<m'だからそれでもいいのではないでしょうか やはり 「自然数の無限列は必ず広義単調増加な部分列が取れる」 が鍵なんですかね >>105はそれをn回繰り返すだけで良い、ということですよね