The famous problem number 6 of the 1988 International Mathematical Olympiad is about showing that if $a,b$ are non-negative integers such that $\frac{a^2+b^2}{ab+1}$ is an integer, then it is a square number.
Given $A\subseteq \mathbb{N}$, let $\mu^+(A) = \lim\sup_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n+1}$ be the upper density of $A$.
Let $I$ be the set of positive integers $n$ such that there are positive integers $a,b$ with $n^2 = \frac{a^2+b^2}{ab+1}$.
(I write positive integers $a,b$ above, because $n^2 = \frac{0^2 + n^2}{0\cdot n + 1}$.)
What is the value of $\mu^+(I)$?