Нет. оно всегда будет меньше. a*1000+b*100+c*10+d - a*b*c*d = k Нам достаточно в данном случае просто сравнить a*1000 и a*b*c*d. Учитывая что b, c и d все принимают максимальное значение 9, то b*c*d <= 729 то есть в левой части у нас всегда a*1000, а в правой максимум a*729. То есть левая часть всегда больше