Интересно отметить, что функция выпуклая книзу соответствует стремящийся контрпример, что и требовалось доказать.