Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course, an explicit inequality may be even more useful by itself than its application to a limit theorem, which latter is in fact a statement about the mere existence of a certain kind of inequality (recall the presence of the quantifier $\exists$ in standard definitions of the limit).

In turn, a good inequality is oftentimes based on at least one good identity -- as something gets rewritten in some other, easier to analyze form. Identities used to prove inequalities are oftentimes simple and routine, such as $\int_a^c=\int_a^b+\int_b^c$. Among well-known examples of nontrivial and useful identities in analysis and probability are Cauchy's integral theorem, Plancherel's theorem, isometric imbeddings into $L^p$, duality identities of the $\max_x\min_y f(x,y)=\min_y\max_x f(x,y)$ type (under appropriate conditions on $f$), Spitzer's identity for random walks, and identities of Stein's method.

There are of course a great many other known identities (some of them nontrivial), such as thousands of formulas for integrals as e.g. in the Gradshteyn and Ryzhik collection. However, it appears that not many of those formulas can lead to interesting inequalities.

I think it would be useful for a number of people to learn about other, **not widely known identities that can be/have been used to obtain interesting inequalities**. A desirable answer to this question would state such an identity and indicate its possible/actual applications to inequalities, with appropriate references. Thank you!

not widely known identities that can be/have been used to obtain interesting inequalities. Of course, I would be glad if this apprehension is proven mistaken. $\endgroup$ – Iosif Pinelis Aug 20 '15 at 22:05