Corrected Beiter conjecture for ternary cyclotomic heights

For each prime $p$, define

$$M(p):=\max_{p<q<r\text{ primes}} A(pqr),$$

\nwhere $A(n)$ is the height of the cyclotomic polynomial $\Phi_n$.

Corrected Beiter conjecture. Moree and Gallot proposed that

$$M(p)\leq \frac{2}{3}p.$$

This is the corrected weaker form of Beiter's conjecture after the original bound was disproved for all primes $p\geq 11$. The paper presents a proof of this bound, so the conjecture is solved.