Let $S$ be an infinite set of positive integers. Let us say that a "best S-approximation" to a real irrational $r$ is a rational number $p/q$, with $p$ and $q$ integers and $q \in S$, such that for any integer $m\in S$ with $1 \le m<q$, and any integer $n$, it holds that $|p/q-r|<|n/m-r|$.

In the case that $S$ is the positive integers, it is well known that for any $r$ there are infinitely many best $S$-approximations $p/q$ which are less than $r$ and infinitely many that are greater than $r$. This is proved for example in Khintchin's book "Continued Fractions."

What if $S$ is the set of squares of integers? Is it known that for every irrational $r$ there are infinitely many best $S$-approximations less than $r$ and infinitely many greater than $r$?

Experimentation with numerous commonplace irrationals gives the impression that the ratio of the number of under-estimates to the number of over-estimates tends to 1. Could this be true for every irrational $r$? Is this known?