>>68
>>の要件により、第m+1項も存在しなくてはならず、
>>第m項が最終項との前提と矛盾します。

ｍに上限がない以上
ｍ’＝m+1として
ｍ’に置き換えれば、それで終わりですよ

プログラム言語なら
m＝m+1と書けますけどね
これで、プログラムの終わり方を指定しなければ、無限ループでプログラムは動きます
メモリーオーバーのエラーメッセージが出るかもしれませんがね

C言語なら
ｍ＋＋でしょうかね

まあ、C++さんがお詳しいでしょうが（＾＾

https://webkaru.net/clang/increment/
C言語入門
（前置・後置）インクリメント演算子, ++