Recall the irrationality measure of a real number $r$ is $$ \mu(r)= \inf \left\{ \lambda\colon \left\lvert r-\frac{x}{y}\right\rvert\lt \frac{1}{y^{\lambda}} \text{ has only finitely many solutions} \right\}$$
Does anyone have a reference or proof?
Recall the irrationality measure of a real number $r$ is $$ \mu(r)= \inf \left\{ \lambda\colon \left\lvert r-\frac{x}{y}\right\rvert\lt \frac{1}{y^{\lambda}} \text{ has only finitely many solutions} \right\}$$
Does anyone have a reference or proof?