Gauss's_inequality loading ...