# Bound for Difference of Irrational Number with Convergent

 It has been suggested that this article or section be renamed. One may discuss this suggestion on the talk page.

## Theorem

Let $x$ be an irrational number.

Let $\sequence {C_n}$ be the sequence of convergents of the continued fraction expansion of $x$.

Then $\forall n \ge 1$:

$C_n < x < C_{n + 1}$ or $C_{n + 1} < x < C_n$
$\size {x - C_n} < \dfrac 1 {q_n q_{n + 1} }$

## Proof

Immediate.

Note that:

$\size {x - C_n} < \size {C_{n + 1} - C_n} = \dfrac 1 {q_n q_{n + 1} }$

$\blacksquare$