Prove TriangularHilbert (openai/math family 082: Maximal and variational bounds for the triangular Hilbert…
Prove TriangularHilbert (openai/math family 082: Maximal and variational bounds for the triangular Hilbert…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 082 of the release, Maximal and variational bounds for the triangular Hilbert…
The task
Context: this statement belongs to family 082 of the release, *Maximal and variational bounds for the triangular Hilbert transform* (Real and complex analysis). The family as a whole: Proves maximal and annular $r$-variation bounds, for every $r>2$, from complex $L^3(\mathbb R^2)\times L^3(\mathbb R^2)$ to…
Part of raising-heart/openai-math.