Câu hỏi 127
Cho $n$ là một số nguyên dương. Với mỗi số nguyên dương $k \le n$, gọi $r_k$ là số dư khi chia $2^n$ cho $k$. Chứng minh rằng
$$
\sum_{k=1}^{n} r_k \gt \frac{n}{2} \left( \log_2 \frac{n}{3} - 2 \right).
$$
$$
\sum_{k=1}^{n} r_k \gt \frac{n}{2} \left( \log_2 \frac{n}{3} - 2 \right).
$$