o是一个严格的上限?
这个问题在这里已经有了答案:
你的直觉看起来是正确的,但我不确定你对术语的使用。
从维基百科:大O对小O
这样,小O符号比相应的大O符号有更强的说法:每个g的小函数也是g的大-O,但并不是每个函数都是大-O的g也是g的小数(例如g本身不是,除非它在∞附近相同为零)。
另一个有用的报价
关系f(x)= o(g(x))等价于
lim(f(x)/ g(x))= 0(当x→∞时)
VS
关系f(x)= O(g(x))等价于
lim(f(x)/ g(x))<∞(当x→∞时)