Derivation of nabla exponential T=isolated points
From timescalewiki
Let $\mathbb{T}$ be a time scale of isolated points. For $t>s$, find $\hat{e}_p$ by computing $$\begin{array}{ll} \hat{e}_p(t,s) &= \exp \left(-\displaystyle\int_s^t \dfrac{1}{\nu(\tau)} \log(1-\nu(\tau)p(\tau)) \Delta \tau \right) \\ &= \exp \left(-\displaystyle\sum_{k=\pi(s)+1}^{\pi(t)} \log(1-\nu(t_k)p(t_k)) \right) \\ &= \displaystyle\prod_{k=\pi(s)}^{\pi(t)-1} \dfrac{1}{1-\nu(t_k)p(t_k)}. \end{array}$$