What Is Lagrange Function Inequality