Si, c'est évident, mais si tu tiens absolument à détailler :
n >= n >=0
(n-1) >= 1 >=0
(n-2) >= 1 >=0
...
1 >= 1 >=0
Par produit d'inégalités entre des nombres positifs, n! >= n.
Si ça ne te convient toujours pas, tu peux le faire par récurrence, mais ça devient vraiment une rédaction lourde pour un truc trivial...