User:The Zuby-Stanko Inequality

40 > 12.

This proof is trivial.