Erdős problem 695 · problems.science

Let $q_1 < q_2 < \cdots$ be a sequence of primes such that $q_{i + 1} \equiv 1 \pmod{q_i}$ . Is it true that $\lim_{k \to \infty} q_k^{1/k} = \infty?$

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/695.lean

Formal Conjectures

FormalConjectures/ErdosProblems/695.leanErdos695.erdos_6955 linesExact file

1sorry ↔2  ∀ {q : ℕ → ℕ},3    StrictMono q →4      (∀ (i : ℕ), Nat.Prime (q i)) →5        (∀ (i : ℕ), q (i + 1) % q i = 1) → Filter.Tendsto (fun k => ↑(q k) ^ (1 / ↑k)) Filter.atTop Filter.atTop

OpenStatement only, no proof

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Continue

Search problems.science