Necessary conditions for ε-optimality