Wie Roland gesagt hat, muss (n−1)!−n3−n+11≥0
für n≥7 gezeigt werden.
Als Alternative zur vollsttändigen Induktion gehe ich so vor:
(n−1)!−n3−n+11≥
(n−1)(n−2)(n−3)(n−4)(n−5)−n3−n+11≥
6(n−1)(n−2)(n−3)−n3−n+11=
=5n3−36n2+65n−25=
5n(n2+13)−(36n2+25)≥0.
Denn dies gilt für n=7 und für n≥8 ist
5n(n2+13)−36n2−25≥40(n2+13)−36n2−25=
=4n2+(40⋅13−25)≥0.