  We strengthen H\"older's inequality. The new family of sharp inequalities we
obtain might be thought of as an analog of Pythagorean theorem for the $L^p$
spaces. Our reasonings rely upon Bellman functions of four variables.

Classical Analysis and ODEs