Olympic Toán học Quốc tế IMO 2008 — Đề chính thức Câu hỏi 3

Chứng minh rằng có vô số số nguyên dương $n$ sao cho $n^2+1$ có ước nguyên tố lớn hơn $2n + \sqrt{2n}$.