The roots of are distinct and lie in . Repeated use of Rolle's theorem shows that every root of , for , also lies in . Its leading coefficient is positive, soTaking shows thatfor ; when , the derivative is the positive constant . This is the positivity of Chebyshev derivatives beyond the unit interval.
Solved by gpt-5.6-sol high.
Codex Wiki