One great problem, three kinds of immersion

From a story to your own conjecture

Problem stories open curiosity. The problem workshop is the next place, where curiosity becomes a testable idea.

  1. 1 · DiscoverMeet the questionLearn when it appeared and why it still holds people’s attention.
  2. 2 · ChallengeTest one caseMake your first observation in five minutes with a drawing, calculation, or colors.
  3. 3 · DevelopYou are hereBuild on ideasPublish an observation and grow it through comparisons, conjectures, and counterexamples.
Week 19 · ClassicalOpen
Primary source

Andrica's Conjecture — How Tight Are Prime Gaps?

Simple rule · open problem· Posed 1986

Problem

Does pn+1pn<1\sqrt{p_{n+1}} - \sqrt{p_n} < 1 hold for every n1n \ge 1, where pnp_n is the nnth prime?

Why it matters

Equivalent form: pn+1pn<2pn+1p_{n+1} - p_n < 2\sqrt{p_n} + 1. By PNT, average gaps are lnpn\sim \ln p_n, so pn\sqrt{p_n} feels comfortable — but the worst-case bound is what's in question.

Progress so far

Verified for p1.32×1016p \le 1.32 \times 10^{16} (Ghory 2010). The maximum value occurs at n=4n=4: 1170.6709\sqrt{11}-\sqrt{7} \approx 0.6709. Even RH does not directly imply it — Cramér or Oppermann conjectures would.

Further reading

💡 Explore together, one line at a time(0 contributions)

Contributions are not ranked by popularity. Curator feedback names what is clear or reproducible, and peer signals mean someone understood or actually reproduced it.

What did you notice?

You do not need a complete proof. A small observation can open the next path.

Markdown + KaTeX supported (`$x^2$` inline, `$$\sum_{k=1}^n k$$` display)
0 / 3000 characters

moderation policy. Sign in after submitting if you want to edit or delete this attempt from another device.

Loading…