Renaming and re-organization of the epsilon-optimality proof