Proved. The site's label, for the refereed theorem of Gabdullin, Iudelevich and Luca: a positive proportion of the integers up to $x$ are of the form $n+\phi(n)$, and at most $0.93x$ of them are; the site adopted it on 2025-10-14.