Set
The ground-state transform for a weighted Dirichlet energy, obtained by expanding the square and using integration by parts, is
The boundary term vanishes because , and hence , has compact support.
Since , choose so that when , and set
For every , discard the nonnegative term and the nonnegative contribution from to obtain
Because , this is exactly the required estimate.