Definition

Suppose . The function has local maximum at if