第一個你的claim那邊 應該是Omega不是big-oh再來歸納假設那邊，我想要寫<, 不能寫<=否則就得證明m=n+1的情況了然後仔細看，詳解在T(n)的第二行就已經套用歸納假設了其實你的第二行的<=也是用到了歸納假設，只是你的notation沒有代換成m第三行寫反了.. n=m+1第五句是第二行的>=....好多筆誤QQ抱歉抱歉@@我看懂你的問題了哈哈以為你是問為什麼要有歸納假設但你的算式有一步導錯了 我想這就是為什麼詳解要這樣設歸納假設的原因（為了消掉多出來那項）所以應該還是要照詳解那樣設吧
https://i.imgur.com/3PsyX4d.jpg