Domain Generalization without Excess Empirical Risk