If s⋆ ≤ 0, then ∂ℓi/∂s does not change sign on s > 0 (it is non-negative throughout or non-positive throughout), so the minimum of ℓi on s > 0 is achieved as s→ 0+

If s⋆ > 0, it is the conditional maximizer · 2018