Gagliardo-Nirenberg interpolation inequality