Definition

Suppose . The function has local minimum at if