Suppose is a probability measure on and is such that . Then
This is called
Pinsker's inequality. Hint: Use the elementary inequality: , which holds for all . Thus if converges to , then converges in to the constant function .
By Cauchy-Schwarz we infer from the elementary inequality: that