A quadratic bound for Jacobsthal's function at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

A quadratic bound for Jacobsthal's function

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	primes, fractions, patience	Levels:	1
Category:	Number theory	Lean version:	YES! ✔
Rate this game! 4.7 out of 5 (685 votes)

>>> How to Play <<<

A quadratic bound for Jacobsthal’s function. Answers Jacobsthal's quadratic-bound question: every interval of $Ck^2$ consecutive integers contains an integer coprime to any prescribed positive integer with at most k distinct prime divisors, for an absolute constant C. The bound is uniform over prime sets and interval positions and removes the classical logarithmic loss.

>>> Level Select <<<

LEVEL 1 A quadratic bound for Jacobsthal's function

released 2026-09-25 | 2 theorems · 26 lemmas · 36 proofs · 35,614 words | PLAY LEVEL 1 » (pdf)

Let $h(k)$ be the least integer such that every interval of $h(k)$ consecutive integers contains an integer coprime to any prescribed positive integer having at most k distinct prime divisors. We prove $h(k)\ll k^2/(\log\log(3k))^2$, giving an affirmative answer to Jacobsthal's quadratic-bound question.

More Number theory Games!
The irrationality exponent of $\pi$ is $2$ HOT!	The Margulis–Platonov conjecture over global fields	The $p$-adic section conjecture	Squarefree quartics and power-free polynomial values
The weak inhomogeneous Duffin–Schaeffer conjecture	Patterson’s first moment for cubic Gauss sums	An asymptotic formula for the number of totients	Erdős’s short Egyptian-fraction conjecture PLAYABLE!

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600