(rational-approximation-sqrt2 10) (1 3/2 7/5 17/12 41/29 99/70 239/169 577/408 1393/985 3363/2378 8119/5741 19601/13860)