>>73 より
p_2n/q_2n - p_(2n-2)/q_(2n-2) = k_2n/q_2nq_(2n-2) ＞ 0
よって
p_(2n-2)/q_(2n-2) ＜ p_2n/q_2n

よって数列 {p_2n/q_2n} は単調増加である。
同様にして数列 {p_(2n+1)/q_(2n+1)} は単調減少である。

>>71 より
p_2n/q_2n - p_(2n-1)/q_(2n-1) = -1/q_2nq_(2n-1) ＜ 0
よって
p_2n/q_2n ＜ p_(2n-1)/q_(2n-1)

以上から
p_0/q_0 ≦ p_2/q_2 ≦ . . . ≦ p_3/q_3 ≦ p_1/q_1