Erdős problem 1054 · problems.science

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$ .

Sources

Browse retained paths and inspect the exact material available for this Problem.

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1054.lean

Retained formal statement5 of 5

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=5$ , i.e. we get the junk value $0$ .

FormalConjectures/ErdosProblems/1054.leanErdos1054.f_undefined_at_31 lineExact file

1Erdos1054.f 5 = 0

TextbookStatement only, no proof

Sources

Search problems.science