Erdős problem 366 · problems.science

Are there any $2$ -full $n$ such that $n+1$ is $3$ -full?

Sources

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

4 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

366.lean

Retained formal statement2 of 4

Are there infinitely many 3-full $n$ such that $n+1$ is 2-full?

FormalConjectures/ErdosProblems/366.leanErdos366.erdos_366.variants.three_two1 lineExact file

1True ↔ {n | Nat.Full 3 n ∧ Nat.Full 2 (n + 1)}.Infinite

OpenStatement only, no proof