Young's convolution inequality (source code)

= Young's convolution inequality
{wiki=Young's_convolution_inequality}