Erdős problem 244 · problems.science

Let $C > 1$ . Does the set of integers of the form $p + \lfloor C^k \rfloor$ , for some prime $p$ and $k\geq 0$ , have density $>0$ ?

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

244.lean

Retained formal statement1 of 2

Let $C > 1$ . Does the set of integers of the form $p + \lfloor C^k \rfloor$ , for some prime $p$ and $k\geq 0$ , have density $>0$ ?

FormalConjectures/ErdosProblems/244.leanErdos244.erdos_2441 lineExact file

1True ↔ ∀ C > 1, 0 < {x | ∃ p k, ∃ (_ : Nat.Prime p), p + ⌊C ^ k⌋₊ = x}.lowerDensity

OpenStatement only, no proof