Problem:
Let , , and be pairwise distinct positive integers such that , , is an increasing arithmetic sequence in that order. Prove that .
Problem:
Let , , and be pairwise distinct positive integers such that , , is an increasing arithmetic sequence in that order. Prove that .
Solution:
Observe that , so , and thus . If we assume that , then we must have , so . However, , so , contradiction. Thus, , as desired.
Solution:
Observe that , so and thus . If we assume that , then , so . Then , so . Thus . But , contradiction. Thus, , as desired.