## Best Approximations

### Problem 192

Let $x$ be a real number.
A best approximation to $x$ for the denominator bound $d$ is a rational number $\frac r s$ in reduced form, with $s \le d$, such that any rational number which is closer to $x$ than $\frac r s$ has a denominator larger than $d$:

$|\frac p q -x | < |\frac r s -x| \Rightarrow q > d$

For example, the best approximation to $\sqrt {13}$ for the denominator bound 20 is $\frac {18} 5$ and the best approximation to $\sqrt {13}$ for the denominator bound 30 is $\frac {101}{28}$.

Find the sum of all denominators of the best approximations to $\sqrt n$ for the denominator bound $10^{12}$, where $n$ is not a perfect square and $1 < n \le 100000$.