On the Bertini regularity theorem for arithmetic varieties

Let $mathcal{X}$ be a regular projective arithmetic variety equipped with an ample hermitian line bundle $overline{mathcal{L}}$. We prove that the proportion of global sections $sigma$ with $leftlVert sigma rightrVert_{infty}<1$ of $overline{mathcal{L}}^{otimes d}$ whose divisor does not have a singular point on the fiber $mathcal{X}_p$ over any prime $p<e^{varepsilon d}$ tends to $zeta_{mathcal{X}}(1+dim mathcal{X})^{-1}$ as $drightarrow infty$.