TY - RPRT TI - Lower Bounds on the Haraux Function AU - Patrick L. Combettes AU - Julien N. Mayrand PY - 2026 UR - https://arxiv.org/abs/2508.15735 ID - 2508.15735 ER -