Problem

Source: Romanian TST 4 2007, Problem 1

Tags: function, inequalities, floor function, factorial, number theory proposed, number theory



Prove that the function $f : \mathbb{N}\longrightarrow \mathbb{Z}$ defined by $f(n) = n^{2007}-n!$, is injective.