First sufficient condition for local optimizer