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 maximal order of Stern's diatomic sequence

Largest values of the Stern sequence, alternating binary expansions and continuants

On the order of magnitude of certain integer sequences

A natural probability measure derived from Stern's diatomic sequence

On some conjectures concerning Stern's sequence and its twist

Record-setters in the Stern sequence

Dense sets of natural numbers with unusually large least common multiples

Regularity properties of the Stern enumeration of the rationals

Three analogues of Stern's diatomic sequence

On the Stern sequence and its twisted version

Binary Signed-Digit Integers, the Stern Diatomic Sequence and Stern Polynomials

On sequences of integers with small prime factors

Linear support for the prime number sequence and the first and second Hardy-Littlewood conjectures

Stern Sequences for a Family of Multidimensional Continued Fractions: TRIP-Stern Sequences

Isomorphisms of graphs of Hyperbinary Expansions and Efficient Algorithms for Stern's Diatomic Sequence

Chromatic number and complete graph substructures for degree sequences

A New Lower Bound in the $abc$ Conjecture

A note on $θ_2$

The denominators of harmonic numbers (Revised)

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

On Arrangements of Six, Seven, and Eight Spheres: Maximal Bonding of Monatomic Ionic Compounds