Levine-Tristram signature bound on the slice genus (source code)

= Levine-Tristram signature bound on the slice genus
{c}

For every unit complex number $\omega$ at which the signature form is nonsingular,
$$
2g_4(K)\geq|\sigma_\omega(K)|.
$$