Вот я и хочу показать, что найдётся сколько-нибудь мерная грань, на которой достигается максимум. При

я могу ещё это показать, а вот дальше --- беда.
А что понимают под гранью многогранника в

-мерном пространстве? Если его представить как пересечение полупространств

, то по интуиции это будут те участки границы многогранника, на которых выполняется равенство в каком-либо из этих ограничений. Есть какое-то определение, может? Да и обоснование возможности такого представления меня собственно тоже интересует. Есть какая-нибудь литература, где обо всём этом можно почитать?