Add Erdős Problem 524 (Salem–Zygmund sup norm)#3787

Open

kieranmcshane wants to merge 59 commits intogoogle-deepmind:mainfrom

kieranmcshane:add-erdos-524-statements

Commits on Apr 16, 2026

Commits on Apr 17, 2026

feat: complete Kolmogorov LIL upper bound proof chain

kieranmcshane
and
claude
committed
chore: trim to statements only per repo guidelines

kieranmcshane
and
claude
committed