Definition:Length of Finite Continued Fraction