Interpolation inequality (source code)

= Interpolation inequality
{wiki=Interpolation_inequality}