若a≥5,则b≥a+1且c≥a+2。积(a−1)(b−1)(c−1)与abc之比至少为(4/5)(5/6)(6/7)=4/7>1/2。因此该积的两倍大于abc,正整数q只能为1。但下一步证明q=1不可能。所以a≤4;等价地,此范围内商不可能至少为2。