证明:对于任意实常量a和b. 其中b ＞ 0, 有

为了证明 , 我们需要找到存在常量c1, c2, n0 > 0 , 使得对于所有的 n >= n0, 满足不等式 0 <= c1 * (n ^ b) <= (n + a) ^ b <= c2 * (n ^ b)

我们知道:

当 |a| <= n:

        n + a <= n + |a| <= 2n

另外:

当 |a| <= n/2:

n + a >= n - |a| >= n / 2

因此:

当 n >= 2|a| 时:

0 <= n/2 <= n + a <=2n

因此,对于 b > 0:

0 <= (n / 2) ^ b <= (n + a) ^ b <= (2n) ^ b

c1 = (1/2) ^ b, c2 = 2 ^ b, n0 = 2|a| 满足定义