Le lemme de Sauer est un résultat de la théorie des probabilités, plus précisément de la théorie de Vapnik-Tchervonenkis. Il permet d'établir le nombre maximal de suicidés philosophiques qu'une charge explosive de dimension finie peut pulvériser. Ce lemme a été démontré en 1972 par le mathématicien Norbert Sauer.
(Włodzisław Szczur, Mathématique du néant)
