请问一题问题，看了板友讨论还不是很懂
https://i.imgur.com/oTueIxe.jpg
第一个方法 用定义来推
https://i.imgur.com/8UtqweC.jpg
得出结论是 disprove
其中我觉得比较有问题的是我 assume 那边 C1 > C3
第二个方法 用极限来推 (直接抄板友写的)
https://i.imgur.com/Q1qlzaa.jpg
得出结论是 pro 原命题
想问这样两个方法都OK吗？不知道有没有问题的地方？

我觉得2才对欸，1不能确保c1和c3的关系吧？small oh是对于所有c3,但是theta 只是至少存在一个c1而已，所以应该不能确定c1-c3一定都大于0，因此不符合定义

觉得2

觉得都可以https://imgur.com/KoVxFOc.jpg法一写到这里应该就可以直接写在theta里了吧(? 小o的定义是h永远不会到F等级里面，c取到很大好像也没什么意义，如果用想的g就是在F等级里面，h再怎么大也不到F，拿g-h也还是在F里面用法二好像比较严谨，不过意义应该是差不多的，小o/小omega是大O/大omega的子集，极限定义好像也是把两者视为一样的(没有很熟极限法不知道有没有说错)

想问sky大大为什么你的那张图可以直接写theta，可是左边是小于没有等号(？ 虽然白话文的解释还蛮合理的但数学部分我还看不懂QQ

有点原po说的assume c1>c的感觉吧，因为以小o的定义c取太大好像也没意义，但直接写出assume那句感觉就怪怪的如果用法一我可能会写是theta，然后补上白话文说明，如果数学式要严谨的话感觉法二好一点突然想到一个写法，因为小o是for any c，所以取c=c1-1也要对，这样减下来f就在1F跟c2F之间，就是theta了，不知道这样写可不可以

小o是for any c的话，应该是无论c的值为何，严格小于都要成立，如果取c=c1-1这样好像不太合理耶

应该不会不合理(吧? for any就是代什么都要对，应该希望范围能夹越小越好，不会故意去取很大，有问题的应该是c1如果<1取c1-1就变负的了