Số giá trị nguyên dương của $n$ thỏa mãn $15n-15>A_n^3$?

(AI giải đề cho tôi)
Với $n\ge 3$: $A_n^3=n(n-1)(n-2)$. Bất phương trình $15(n-1)>n(n-1)(n-2)$, chia cho $n-1>0$: $15>n(n-2)$. Kiểm tra: $n=3$: $3<15$ ✓; $n=4$: $8<15$ ✓; $n=5$: $15=15$ ✗ (không thỏa dấu lớn hơn); $n\ge 6$: $n(n-2)\ge 24>15$ ✗. Vậy có 2 giá trị $n=3,4$.