The sharp Sobolev inequality in quantitative form | Synapse