Erdős problem 244

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

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

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