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.

No current result

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

FormalConjectures/ErdosProblems/1135.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1135.leanErdos1135.erdos_11351 lineExact file

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

OpenStatement only, no proof