Young's convolution inequality — mathematical inequality about the convolution of two functions