Vysochanskiï–Petunin inequality