Lehmer's problem on \(\mathbb G_m\) and the method of slopes (Q2642766)

Let \(h\) be the usual absolute logarithmic Weil height on \(\overline{\mathbb Q}^\times\). Using the slopes inequality of J.-B. Bost, the author gives a proof of the following result of \textit{E. Dobrowolski} [Acta Arith. 34, 391--401 (1979; Zbl 0416.12001)]: there exists a constant \(c>0\) such that \[ \forall x\in {\mathbb G}_m(\overline{\mathbb Q})\setminus \mu_\infty\,\,h(x)\geq\frac{c}{D}\left(\frac{\log\log 3D}{\log 2D} \right), \] where \(D=[{\mathbb Q}(x):{\mathbb Q}]\) and where \(\mu_\infty\) denotes the group of roots of unity.