IMO 1995 — Shortlisted problems Question 15

N1 (ROM). Let $k$ be a positive integer. Prove that there are infinitely many perfect squares of the form $n2^k-7$, where $n$ is a positive integer.