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)
Cần $n\ge 3$ để $A_n^3$ có nghĩa. Bất phương trình: $15n-15>n(n-1)(n-2)$. Thử: $n=3$: $30>6$ (thỏa); $n=4$: $45>24$ (thỏa); $n=5$: $60>60$ (sai); với $n\ge 5$ vế phải $n(n-1)(n-2)\ge 60$ tăng nhanh hơn $15n-15$, không thỏa. Vậy có 2 giá trị $n\in \{3;4\}$, khớp đáp án nguồn (2).