一个不等于0的数乘真分数,积等于或大于这个数