Wikipedia:Reference desk/Archives/Mathematics/2023 February 16

= February 16 =

On Zriaa's claimed proof of Lehmer's totient problem
I'm reading Said Zriaa's claimed proof of Lehmer's totient problem, and I follow up until the very last point, where Zriia claims that $$\prod_{j=1}^{r} p_{j} - 1$$ cannot divide $$\sum_{j=1}^{r-1}\sigma_{j}(p_{1} - 1, \ldots, p_{r} - 1)$$ because of lemma 2.2. In particular, I understand why lemma 2.2 holds for inequality for polynomials, but is there any particular reason why it should hold for constant $$x_{j} = p_{j} - 1$$? GalacticShoe (talk) 22:18, 16 February 2023 (UTC)
 * Gotta agree with you, that is not all evident. NadVolum (talk) 23:05, 16 February 2023 (UTC)