[math-fun] rationals hard to approximate by rationals