[math-fun] Inequality puzzle