Part of epsilon-optimality proof