  In a reasonably self-contained and explicit presentation we illustrate the
efficiency of the Feynman-Kac formula for the rigorous derivation of three
inequalities of interest in non-relativistic quantum mechanics.
