Definition:Hölder Mean with Non-Zero Exponent