“f(x)>g(x) (x∈R) 成立”,意思是说:对于在 R 中的每一个 x ,都有 f(x)>g(x)。
f(x)≦g(x) 是与 f(x)>g(x) 恰好相反的情形。
既然对于在 R 中的每一个 x ,都有 f(x)>g(x),那也就是说,在 R 中不存在 x 使得 f(x)≦g(x) 。
反过来,如果在 R 中不存在 x 使得 f(x)≦g(x),那也就是说,对于在 R 中的每一个 x ,都有 f(x)>g(x),即 f(x)>g(x) (x∈R) 成立。
所以,“f(x)>g(x) (x∈R) 成立”的充分必要条件是“ R 中不存在 x 使得 f(x)≦g(x)”。