Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage5AboveTwoLowerS5F.Optimality

The matching known-parameter upper and lower bounds establish above-two optimality.