Erdős problem 414 · problems.science

Let $h_1(n) = h(n)$ and $h_k(n) = h(h_{k-1}(n))$ . Is it true, for any $m,n$ , there exist $i$ and $j$ such that $h_i(m) = h_j(n)$ ?

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

414.lean

Retained formal statement1 of 1

Let $h_1(n) = h(n)$ and $h_k(n) = h(h_{k-1}(n))$ . Is it true, for any $m,n$ , there exist $i$ and $j$ such that $h_i(m) = h_j(n)$ ?

FormalConjectures/ErdosProblems/414.leanErdos414.erdos_4141 lineExact file

1True ↔ ∀ m > 0, ∀ n > 0, ∃ i j, Erdos414.h^[i] m = Erdos414.h^[j] n

OpenStatement only, no proof