Câu hỏi 7
1a. (CZS 3) Các số nguyên dương $x_1,\ldots,x_n$, $n\ge3$, thỏa mãn $x_1\lt x_2\lt \cdots\lt x_n\lt 2x_1$. Đặt $P=x_1x_2\cdots x_n$. Chứng minh rằng nếu $p$ là một số nguyên tố, $k$ là một số nguyên dương và $P$ chia hết cho $p^k$ thì $\frac P{p^k}\ge n!$.