Text this: Optimal pursuit time for a differential game in the Hilbert space l2.