Prove DiskMaximal (openai/math family 085: Endpoint regularity of the planar centered maximal function) in…
Prove DiskMaximal (openai/math family 085: Endpoint regularity of the planar centered maximal function) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 085 of the release, Endpoint regularity of the planar centered maximal function…
The task
Context: this statement belongs to family 085 of the release, *Endpoint regularity of the planar centered maximal function* (Real and complex analysis). The family as a whole: Resolves the planar centered-disk case of the Haj{\l}asz–Onninen maximal-function regularity problem. For every real $f\in W^{1,1}(\mathbb…
Part of raising-heart/openai-math.