Proof and Refinements of an Inequality of Feynman

Abstract

A lower bound given by Feynman for the quantum mechanical free energy of an oscillator is proved, refined, and generalized. The method, application of a classical inequality to path integrals, also gives upper bounds for one‐temperature Green's functions.