Finish the epsilon-optimality proof