Abstract:The conjecture of Lehmer is proved to be true. The proof mainly relies upon: (i) the properties of the Parry Upper functions $f_{house(\alpha)}(z)$ associated with the dynamical zeta functions $\zeta_{house(\alpha)}(z)$ of the Rényi--Parry arithmetical dynamical systems, for $\alpha$ an algebraic integer $\alpha$ of house "$house(\alpha)$" greater than 1, (ii) the discovery of lenticuli of poles of $\zeta_{house(\alpha)}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $house(\alpha)$ tends to $1^+$, giving rise to a continuous lenticular minorant ${\rm M}_{r}(house(\alpha))$ of the Mahler measure ${\rm M}(\alpha)$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\rm M}_{r}(house(\alpha))$ as a function of the dynamical degree. With the same arguments the conjecture of Schinzel-Zassenhaus is proved to be true. An inequality improving those of Dobrowolski and Voutier ones is obtained. The set of Salem numbers is shown to be bounded from below by the Perron number $\theta_{31}^{-1} = 1.08545\ldots$, dominant root of the trinomial $-1 - z^{30} + z^{31}$. Whether Lehmer's number is the smallest Salem number remains open. A lower bound for the Weil height of nonzero totally real algebraic numbers, $\neq \pm 1$, is obtained (Bogomolov property). For sequences of algebraic integers of Mahler measure smaller than the smallest Pisot number, whose houses have a dynamical degree tending to infinity, the Galois orbit measures of conjugates are proved to converge towards the Haar measure on $|z|=1$ (limit equidistribution).

A new upper bound on the smallest counterexample to the Mertens conjecture

New explicit bounds for Mertens function and the reciprocal of the Riemann zeta-function

Higher Mertens constants for almost primes II

Multiple Mertens evaluations

Improving bounds on prime counting functions by partial verification of the Riemann hypothesis

A counterexample to the Conjecture of Ankeny, Artin and Chowla

New bounds and progress towards a conjecture on the summatory function of $(-2)^{Ω(n)}$

A New Strategy for Riemann Hypothesis

On proving an Inequality of Ramanujan using Explicit Order Estimates for the Mertens Function

A New Theorem on the Prime-Counting Function

On the mean of the error terms in Mertens' theorems

A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

Uniform bounds for Kloosterman sums of half-integral weight with applications

On the Markov numbers: fixed numerator, denominator, and sum conjectures

Improved Bounds for Szemerédi's Theorem

New Lower Bounds for the Schur-Siegel-Smyth Trace Problem

D{é}monstration d'une conjecture de Kruyswijk et Meijer sur le plus petit d{é}nominateur des nombres rationnels d'un intervalle

An Analytical Exploration of the Erdös-Moser Equation $ \sum_{i=1}^{m-1} i^k = m^k $ Using Approximation Methods

Sharper bounds for the error in the prime number theorem assuming the Riemann Hypothesis

On a conjecture of R. M. Murty and V. K. Murty II

From explicit estimates for the primes to explicit estimates for the Möbius function II