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 proof of the Erdős primitive set conjecture

Erdős inequality for primitive sets

A Cameron and Erdös conjecture on counting primitive sets

Sur une généralisation de la conjecture d'Artin parmi les presque-premiers

On Erdős sums of almost primes

On covering numbers

On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

The irrationality of a prime factor series under a prime tuples conjecture

Primes, Pi, and Irrationality Measure

On Prime Primitive Roots of

Vinogradov's three primes theorem with primes having given primitive roots

Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier

Prime polynomials in short intervals and in arithmetic progressions

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

Matsuda monoids and Artin's primitive root conjecture

Primitive divisors of Lucas and Lehmer sequences, III

Semi-primitive roots and irreducible quadratic forms

Polignac Numbers, Conjectures of Erdös on Gaps between Primes, Arithmetic Progressions in Primes, and the Bounded Gap Conjecture

The convergence of an alternating series of Erdős, assuming the Hardy--Littlewood prime tuples conjecture

A variant of the Bombieri-Vinogradov theorem in short intervals with applications

Notes on Primitive Roots Modulo Primes