MathNet 2019-part-04 — 184 bài (EN–VI) Câu hỏi 126

Chứng minh rằng với mọi số nguyên dương $k$, tồn tại số nguyên dương $n$ sao cho $n2^{k} - 7$ là một số chính phương.