Condition for global minimum through abstract convexity door Evgeny Sharikov