Suorat
y
=
+
n
2
ja
y
= 2
x
+
+
n
2
jakavat xy-tason sunnikkaisiin; epäyhtälö on voimassa kaikkien suoria
x
=
n
2
peittävien suunnikkaiden sisäosissa.