Definition:Continued Fraction of Irrational Number