Thue-Siegel rational approximation bound

If a real algebraic number $\alpha$ has degree $d\ge 3$, then for every $\epsilon >0$ there are only finitely many reduced fractions $p/q$ such thatThe Thue-Siegel auxiliary polynomial proof chooses two such approximations, constructs an auxiliary polynomial nonzero at their pair, and compares its denominator lower bound with the upper bound supplied by its high-order zero at $(\alpha ,\alpha )$.