4 ms·

Thanks, it's been years since I listened to this. Now after reading about Timothy gowers I want to listen to it again.