#Vitali覆盖引理

H-L极大不等式和Vitali定理

从三倍球几何引理与有限 Vitali 贪心选球出发，严格证明 Hardy–Littlewood 极大函数的可测性、弱型 (1,1) 不等式及其几乎处处有限性。