Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Write n(n+1)=2x3ymn(n+1)=2^x3^ym with (m,6)=1(m,6)=1. Mohamed Amine Belachhab, Solution to Erdős Problem #933: A Sharp Bound on the 2-3-Smooth Part of n(n+1), Zenodo, 7 February 2026, states as Theorem 1 that 2x3y≤(3/log⁡2) nlog⁡n2^x3^y\leq (3/\log 2)\,n\log n for every n≥2n\geq 2, with equality at n=2n=2 and n=8n=8, and concludes in Corollary 2 that the limsup in Problem 933 equals 3/log⁡2≈4.3283/\log 2\approx 4.328, so that the answer is no. The argument is a case analysis with the lifting-the-exponent lemma, supported by a computer check up to 10710^7. A second version of 15 February 2026 states the same theorem.

Standing. The claim is rejected. The claimant posted the second version in the site's discussion thread on 15 February 2026, and a reply of the same day by Wouter van Doorn gave the counterexample n=1487503359=314⋅311n=1487503359=3^{14}\cdot 311, for which 2152^{15} exactly divides n+1n+1. The {2,3}-part of n(n+1)n(n+1) is then 314⋅2153^{14}\cdot 2^{15}, and its ratio to nlog⁡nn\log n is about 4.9894.989, above 3/log⁡23/\log 2. The Zenodo record was afterwards retitled as a partial solution with a promise to correct the paper, and its text still states Theorem 1.

Depends on. No page of this wiki.