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