Suppose $N(t)$$N(\omega,t)$ is a homogeneous Poisson counting process with a constant parameter $\lambda$$\lambda,\,\forall\omega \in\Omega$ where $\Omega$ is the sample space. Given positive real numbers $T$ and $\tau$, and non-negative integer $n$, what is the probability that $N(t)$$N(\omega,t)$ counts exactly $n$ points within at least one subinterval $[t,t+\tau]$ of $[0,T]$, or Prob$\big(\bigcup_t\big\{N(t)\,\big|\, [t,t+\tau]\subseteq [0,T] \wedge N(t+\tau)-N(t)=n\big\}\big)$$\big(\bigcup_t\big\{\omega\,\big|\, [t,t+\tau]\subseteq [0,T] \wedge N(\omega,t+\tau)-N(\omega,t)=n\big\}\big)$?