Askey–Gasper_inequality loading ...