Norming vector for Holder inequality (source code)

= Norming vector for Holder inequality

For nonzero $y\in\ell^q$, a normalized sequence proportional to $\operatorname{sgn}(y_n)|y_n|^{q-1}$ attains equality in Hölder's inequality.