只要有一个更高位数字非零,总比较就严格。
将逐项不等式乘以 xk≥0x_k\ge0xk≥0 后求和。由于 xn−1≠0x_{n-1}\ne0xn−1=0,k=n−1k=n-1k=n−1 项严格,两个总和分别为 anBna^nB_nanBn 和 bnAnb^nA_nbnAn。