是 formula_7 的严格凸函数。定理结论可以重述为：对任何半径为 formula_15 的同心圆成立。
历史.此定理的一个描述和证明由李特尔伍德1912年给出，但他没有特别指出属于谁，将其列为一个已知的定理。波尔和兰道称这个定理最早由阿达马1896年给出，但阿达马没有出版证明。