Residual time is: given that a task has run for time tau, it is the estimate of the time remaining until task completion from time tau.
Since we are looking for the estimated remaining time under RESTART, replace t with the restart function
If
Taking the limit as