https://i.imgur.com/OFAiFKv.jpg
大概知道substitution就是观察猜测bound然后证明
有点不太理解为什么证明过程要写那个假设？
是什么概念？
麻烦各位了

把他当作数学归纳法 可式base在这里是trival的不用证base是trival的 因为只要C够大就能够让base成立打错字Trivialsubstitution其实很麻烦印为你假设小于cn最后就定要是小于cn,而不是什么常数被的cn加上什么log 一定要是cn所以倒数第二行的证明也是努力凑到让他小于等于cn

强数学归纳法