An effective lower bound for the height of algebraic numbers

Paul Voutier

Published 2012-11-13Version 1

We prove that if $\alpha$ is a non-zero algebraic number of degree $d \geq 2$ which is not a root of unity, then $dh(\alpha)>(1/4) (\log(\log (d))/\log(d))^3.