Bessel's inequality (source code)

= Bessel's inequality
{wiki=Bessel's_inequality}