Yang-Mills instanton Bogomolny bound (source code)

= Yang-Mills instanton Bogomolny bound
{c}

For $k=-(8\pi^2)^{-1}\int\operatorname{Tr}(F\wedge F)$ and positive Euclidean action, decomposition into self-dual and anti-self-dual curvature gives
$$
S_{\rm YM}\geq\frac{8\pi^2}{g_{\rm YM}^2}|k|.
$$
Equality holds for a self-dual or anti-self-dual connection.