Extremes of integral of the autocorrelation theorem
Maybe your signal is finite, but the function you are transforming is infinite. So you can do your demonstration using the interval $[0,T]$ or $[-\infty,+\infty]$, the result should be the same, because if your signal is finite the FT threats it as an infinite signal with period T.