continued fraction sqrt(2)