两个猜想不等式的加细

• To make two supposed inequalities careful