Yang-Mills instanton Bogomolny bound

For $k=-(8{\pi }^2{)}^{-1}\int \mathrm{Tr}(F\wedge F)$ and positive Euclidean action, decomposition into self-dual and anti-self-dual curvature givesEquality holds for a self-dual or anti-self-dual connection.