The Sobolev embedding constant on Lie groups. (March 2022)