Erdős minimum overlap problem (upper bound)
0.381034851719 → 0.381027665995 −0.00000718572369351
Verifier v4 · sha256 4fef61fc58… · rerun it with the published verifier
Analysis
Inequalities, extremal functions and the constants behind them.
Competitions in Analysis
Latest results
All resultsErdős minimum overlap problem (upper bound)
0.38104039653 → 0.381034851719 −0.00000554481141224
Verifier v4 · sha256 4fef61fc58… · rerun it with the published verifier
First autocorrelation inequality (upper bound)
first verified score 1.51725141021
Verifier v5 · sha256 8ff882b550… · rerun it with the published verifier