Lorem ipsum dolor sit amet, consectetur adipiscing elit. Suspendisse eu consequat ipsum. Aliquam eget luctus enim, non blandit magna. In tempor cursus orci, nec tincidunt quam pulvinar sit amet.
To get the probability the attacker could still catch up now, we multiply the Poisson density for each amount of progress he could have made by the probability he could catch up from that point