ormula_6 是一个对数 formula_7 的凸函数。进一步，如果不存在常数 formula_8 和formula_9，使得 formula_1 是 formula_11 的形式，那么 formula_6 是 formula_7 的严格凸函数。定理结论可以重述为：对任何半径为 formula_15 的同心圆成立。
历史.此定理的一个描述和证明由李特尔伍德1912年给出，但他没有特别指出属于谁，将其列为一个已知的定理。波尔和兰道称这个定理最早由阿达马1896年给出，但阿