一个大于0的数乘真分数，积一定小于这个数。