HF RL Explorer

optimize/ae p18 hardy littlewood maximal

optimize/ae p18 hardy littlewood maximal: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Centred Hardy-Littlewood maximal inequality on the real line (weak type (1,1) constant).

The task

Centred Hardy-Littlewood maximal inequality on the real line (weak type (1,1) constant).

Part of amphora/MathConstructOptimize-Envs-harbor.