Formal target: Corpus.Green24.conjecture

Conjecture p.579 in [Aa19]: $\left(\frac{1}{3} + o(1)\right) n^2$.

Exact formal statement

Eq.{1} Corpus.Green24.gamma (1 / 3)

This target is a formal statement, not a proof of the problem.

Environment availability: available.