Nesbitt's_inequality loading ...