[math-fun] Simultaneous rational approximation of two irrationals