A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The weak inhomogeneous Duffin–Schaeffer conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:primes, fractions, patience Levels:1
Category:Number theory Lean version:not yet
Rate this game! 4.0 out of 5 (3,570 votes)

>>> How to Play <<<
The weak inhomogeneous Duffin–Schaeffer conjecture. Proves that for every real shift γ and finite-valued $\psi:\mathbb N\to[0,\infty)$, divergence of $\sum_q\phi(q)\psi(q)/q$ implies $\|qx-\gamma\|\lt \psi(q)$ for infinitely many q, for almost every x. Here ϕ is Euler's totient and the norm is distance to the nearest integer. Numerators are unrestricted; no monotonicity or Diophantine condition on γ is needed.

>>> Level Select <<<
released 2026-09-25  |  1 theorem · 39 lemmas · 49 proofs · 41,844 words  |  PLAY LEVEL 1 »  (pdf)
We prove the weak inhomogeneous Duffin–Schaeffer conjecture. For every fixed γ ∈ ℝ and finite-valued $\psi:\mathbb N\to[0,\infty)$, divergence of $\sum_{q\ge1}\phi(q)\psi(q)/q$ implies $\|qx-\gamma\|\lt \psi(q)$ for infinitely many q, for almost every x. Here ϕ is Euler's totient and $\|\cdot\|$ is distance to the nearest integer. Numerators need not be reduced, and the shift satisfies no Diophantine restriction.

More Number theory Games!
A quadratic bound for Jacobsthal's functionPatterson’s first moment for cubic Gauss sumsAn asymptotic formula for the number of totientsErdős’s short Egyptian-fraction conjecture PLAYABLE!
Positive lower density of large prime gapsIntegral density on curve character varietiesThe Gaussian moat conjecture PLAYABLE!Artin's primitive root conjecture: infinitude for every base HOT!

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