Mann–Wald_theorem loading ...