Gagliardo–Nirenberg–Sobolev inequality