Schur's_inequality loading ...