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).

The Scholz conjecture on addition chain is true for infinitely many integers with $\ell(2n)= \ell(n)$

On addition chains and progress on the Scholz conjecture

On the distribution of addition chains

A Variety of Euler's Conjecture

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

Linear Extension of the Erdős-Heilbronn Conjecture.

On Dedekind's problem, a sparse version of Sperner's theorem, and antichains of a given size in the Boolean lattice

Uniform exponent bounds on the number of primitive extensions of number fields

Variations on a Theme of Collatz

Malle's Conjecture for $S_n\times A$ for $n = 3,4,5$

Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Chains and antichains in the Weihrauch lattice

Elementary Proofs of Arithmetic Properties for Schur-Type Overpartitions Modulo Small Powers of 2

On Goldbach's Conjecture

On Salem numbers which are exceptional units II

Additive Properties of the Evil and Odious Numbers and Similar Sequences

An explicit version of Chen's theorem

A simple proof of Werner Schulte's conjecture

On a problem of Erdős and Graham about consecutive sums in strictly increasing sequences

On the Schertz conjecture

Linear Extension of the Erdos-Heilbronn Conjecture