In probability theory, Bobkov's inequality is a functional isoperimetric inequality for the canonical Gaussian measure.
It generalizes the Gaussian isoperimetric inequality.
The equation was proven in 1997 by the Russian mathematician Sergey Bobkov.
[1] Notation: Let For every locally Lipschitz continuous (or smooth) function
the following inequality holds[2][3] There exists a generalization by Dominique Bakry and Michel Ledoux.