Erdős problem 1135 · problems.science

The Collatz conjecture states that for any positive integer $n$ , there exists a natural number $m$ such that the $m$ -th term of the sequence is 1.

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

1135.lean

Retained formal statement1 of 1

The Collatz conjecture states that for any positive integer $n$ , there exists a natural number $m$ such that the $m$ -th term of the sequence is 1.

FormalConjectures/ErdosProblems/1135.leanErdos1135.erdos_11351 lineExact file

1∀ n > 0, ∃ m, CollatzConjecture.collatzStep^[m] n = 1

OpenStatement only, no proof