Hardy–Littlewood_maximal_inequality loading ...