User:The Zuby-Stanko Inequality

Pretty much just

40 > 12.

First theorized by Keith Chamberlain in the mathematics library while studying for his undergrad in mathematics at the University of Michigan-Dearborn. Named after Thomas Zuby's great dislike of inequalities and Robert Stanko was just in the room at the time of the epiphany, hence the Zuby-Stanko Inequality.