 We already determined that formula_15 is stationary.Suppose we take formula_16.Since formula_15 is the lowest-energy eigenfunction, the associate eigenvalue of formula_16 satisfies the property formula_19.