Burkholder–Davis–Gundy inequality