Pisier–Ringrose inequality
In mathematics, Pisier–Ringrose inequality is an inequality in the theory of C*-algebras which was proved by Gilles Pisier in 1978 affirming a conjecture of John Ringrose. It is an extension of the Grothendieck inequality.
Source: Wikipedia — Pisier–Ringrose inequality (CC BY-SA 4.0)