Noether inequality (source code)

= Noether inequality
{wiki=Noether_inequality}