Điều kiện tối ưu cấp cao trong tối ưu không trơn không có ràng buộc