数学高手来解释一个命题恒成立的问题