With p−1=1,p0=a0, q−1=0,q0=1 and pn=anpn−1+pn−2, qn=anqn−1+qn−2, induction gives pnqn−1−pn−1qn=(−1)n+1. Matrix multiplication gives [a0,…,an,β]=(pnβ+pn−1)/(qnβ+qn−1); monotonicity in β>0 places it strictly between the adjacent convergents.