Question: is pi greater than 22 7?
Answer: If one knows that π is approximately 3.14159, then it trivially follows that π < 227, which is approximately 3.142857. But it takes much less work to show that π < 227 by the method used in this proof than to show that π is approximately 3.14159.