I will discuss the Hardy-Littlewood integral inequality with sharp constant on the Heisenberg goup proved by Frank and Lieb. I will outline a simpler proof which bypasses the sophisticated argument for existence of a minimizer and is based on the study of the 2nd variation of subcritical functionals. This is joint work with Fengbo Hang.
