Ta có :
f(9!)-f(8!)=an.((9!)n-(8!)n)+an-1.((9!)n-1-(8!)n-1)+....+a1.(9!-8!)
=2072-2012=60
Ta nhận thấy 9!=1.2.3.4.5.6.7.8.9 và 8 ! = 1.2.3.4.5.6.7.8 nên vế trái của đẳng thức chia hết cho 7,nhưng vế trái = 60 không chia hết cho 7 => Không tồn tại đa thức f(x) có các hệ số nguyên mà f(8!)=2012 và f(9!)=2072