A sharp inequality for Sobolev functions - Pedro M. Girão (2014)