Mashreghi–Ransford_inequality loading ...