  We give a simpler proof of the sharp Frank-Lieb inequality on the Heisenberg
group. The proof bypasses the sophisticated argument for existence of a
minimizer and is based on the study of the 2nd variation of subcritical
functionals using their fundamental techniques.
