[math-fun] Re: Simultaneous rational approximation of two irrationals