We prove that if α is a non-zero algebraic number of degree d ≥ 2 which is not a root of unity, then $dh(α)>(1/4) (log(log (d))/log(d))^3.
No takes yet. Share an insight, caveat, or question.
Paul Voutier (1996) studied this question.