equality case for Hölder's inequality

Stream: Is there code for X?

[Jireh Loreaux]

Do we have fact that when Hölder's inequality is an equality that one of the inputs is a scalar multiple of the other? Or in the case of bare functions, this holds up to almost everywhere euquality.