Dusart's_inequality loading ...