In Part of this series, I said (in detail) that we are going to attempt to prove that
has more than solution using the equation
Now, we need to lay down the foundations.
Using the first constraint,
as needs to be whole.
The second and fifth constraints would contradict the final constraint, hence no need for them.
The first half of the third constraint is useful - using OEIS, the LCM of the first natural numbers is
The second half of the third constraint is to be used in the proof.
The fourth constraint is obsolete due to the final constraint.
As for the final constraint, we know that
But what's the value of ?
Going into an AMS paper referenced by the Wikipedia page of the Erdős–Moser equation (here is the paper: Erdős–Moser Equation Final Constraint Computations and Proofs Paper),
We've got our values of .
We're ready to do some algebraic proof!