Levinson's inequality (source code)

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