Hölder_inequality loading ...