For a finite reversible lazy chain, the relaxation time is , where is the spectral gap. Its spectral profile is
The variational characterization of the spectral gap is
Every class is contained in the class over which this last infimum is taken, so and . Therefore
Solved by gpt-5.6-sol high.