https://i.imgur.com/OFAiFKv.jpg
大概知道substitution就是觀察猜測bound然後證明
有點不太理解為甚麼證明過程要寫那個假設？
是什麼概念？
麻煩各位了

把他當作數學歸納法 可式base在這裡是trival的不用證base是trival的 因為只要C夠大就能夠讓base成立打錯字Trivialsubstitution其實很麻煩印為你假設小於cn最後就定要是小於cn,而不是什麼常數被的cn加上什麼log 一定要是cn所以倒數第二行的證明也是努力湊到讓他小於等於cn

強數學歸納法