Pu's_inequality loading ...