Shrinking targets versus recurrence: The quantitative theory | Synapse