This inequality was discovered by Paul Lévy (1919) who also extended it to higher dimensions and general surfaces.
Это неравенство было открыто Полем Леви (1919), который обобщил его на более высокие размерности и более общие поверхности.