[math-fun] Observation on Stern-Brocot tree