[math-fun] Canonical sequence of rational approximants to an irrational