An asymptotic formula for the number of totients 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

An asymptotic formula for the number of totients

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.2 out of 5 (794 votes)

>>> How to Play <<<

An asymptotic formula for the number of totients. Gives an asymptotic equivalent for the number $V(x)$ of distinct totient values up to x, with a positive bounded phase-dependent factor determined by convergent arithmetic approximations. In particular, $V(cx)/V(x)\to c$ for every fixed c > 0, answering Erdős and Hall’s scaling question.

>>> Level Select <<<

LEVEL 1 An asymptotic formula for the number of totients

released 2026-09-25 | 2 theorems · 12 lemmas · 21 proofs · 13,885 words | PLAY LEVEL 1 » (pdf)

Let $V(x)$ count the distinct values of Euler's totient function up to x. We give an explicit asymptotic equivalent for $V(x)$. Its coefficient is a uniform limit of functions defined from finite arithmetic data. We also prove that $V(cx)/V(x)\to c$ as $x\to\infty$ for every fixed c > 0, answering a question of Erdős and Hall.

More Number theory Games!
Hilbert's tenth problem over $\mathbb Q$ HOT!	Irrationality of Catalan's constant HOT!	Goldfeld's conjecture	Two-point Chowla and the corrected binary Elliott conjecture
The Deligne–Drinfeld conjecture	Bogomolov–Pop and Milnor $K$-theoretic reconstruction	Fontaine–Mazur modularity at the prime $2$ and $2$-adic pro-modularity	The Ford–Konyagin–Luca conjecture on prime predecessors

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