函数F(x)=A(x)-B(x),有没有一个公式或定理来讨论或是证明在定义域内的任一x,A(x)>B(X)