Solution
= Solution
<Liouville approximation theorem> says that if algebraic irrational $\alpha$ has degree $d\ge2$, then $|\alpha-p/q|>C(\alpha)q^{-d}$ for all rationals $p/q$.
= Solution
<Liouville approximation theorem> says that if algebraic irrational $\alpha$ has degree $d\ge2$, then $|\alpha-p/q|>C(\alpha)q^{-d}$ for all rationals $p/q$.