小不等式等号成立的条件的定理。该定理最先于1928年由冯·诺伊曼证明。
内容.该定理声称：若formula_1，formula_2为紧致凸集。formula_3 为连续的凸-凹函数（即formula_4关于formula_5是凸函数，关于formula_6是凹函数）。则：