  This note introduces bilinear estimates intended as a step towards an
$L^\infty$-endpoint Kato-Ponce inequality. In particular, a bilinear version of
the classical Gagliardo-Nirenberg interpolation inequalities for a product of
functions is proved.
