Three useful bounds in quantum mechanics - easily obtained by Wiener integration

Abstract

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.