Странное условие. Ну вот есть такая пара с коэффициентом K и абсциссами n,m. Рассмотрим пары

. Очевидно, что в одной из этих пар коэффициент еще больше (ну или они все равны между собой). Поскольку точки соседние, между ними нет других точек и условие "лежат ниже" тривиально верно.
Мне кажется, этот тривиальный случай не надо рассматривать, я тоже об этом подумал сразу
ПС. Кажется, про выпуклую оболочку есть рациональное зерно) Правда, первый раз с этим термином сталкиваюсь, смотрел на википедии)