Pisier–Ringrose inequality (source code)

= Pisier–Ringrose inequality
{wiki=Pisier–Ringrose_inequality}