Hölder's_inequality loading ...