Let $f(n)$ be the minimal integer $m$ such that $n$ is the sum of the $k$ smallest divisors of $m$ for some $k\geq 1$. Show that $f$ is undefined at $n=2$, i.e. we get the junk value $0$.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

1sorry ↔ (fun n => ↑(Erdos1054.f n)) =o[Filter.atTop] fun n => ↑n

Reported activity

Reported by these sources. Not reviewed here.

• AI standalone

  Erdős AI contributions wiki · 22-23 Jun, 2026

  Machine

  Claude Opus 4.8, GPT-5.5 Pro, Principia Math

  Open the source record