Erdős problem 366

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

Sources

The source's own material, retained exactly.

4 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

366.lean

Retained formal statement4 of 4

Note that $8$ is $3$ -full and $9$ is 2-full.

FormalConjectures/ErdosProblems/366.leanErdos366.exists_three_full_then_two_full1 lineExact file

1∃ n > 0, Nat.Full 3 n ∧ Nat.Full 2 (n + 1)

TestStatement only, no proof