一个数(非0)乘纯小数,积一定小于这个数