A Reverse Expected Shortfall Optimization Formula