The definition of the infimum gives
Substituting the value of from part 4 into the energy yields
This is coercivity below the NLS ground-state mass.