两个真分数的机一定小于其中的任何一个真分数