Re: [math-fun] rationals hard to approximate by rationals