Sharp Lower Bounds on the Haraux Function Beyond Reflexivity

Weifeng Yang

We prove that the sharp $\frac{1}{2}$ lower bound for the Haraux function holds for every maximally monotone operator of type~(NI) on an arbitrary real Banach space. This extends t…