The basic definitions are
(3)
Interchange the summations (and integrations) to utilize the fact that the f's can be separated.
(4)
Thus
Note that the integral in (5) is
(6)
which becomes F=1/Δt in the limit that fm-fn
0
(7)
Sort out the times
(8)
Thus
Note that the integral in (9) is
(10)
which becomes T in
the limit that t0.