Finish the sigma_red epsilon-optimality proof + change indentation after definitions