Hardy-Littlewood Maximal Inequality

Hardy-Littlewood Maximal Inequality — qed.bot Claims, announcements and changes recorded against Hardy-Littlewood Maximal Inequality. https://qed.bot/feeds/t/alphaevolve-18.xml 2025-11-05T00:00:00Z qed.bot Hardy-Littlewood Maximal Inequality — below (AlphaEvolve) urn:qed:c22d8545971c 2025-11-05T00:00:00Z

Did not reach the best known construction. Autonomy A2, evidence V1, fidelity F0.