Prove the Archimedian property which states that if $a$ and $b$ are positive integers, then there exists some positive integer $n$ such that $na \ge b$.
Use the Well Ordering Principle to prove that the following statement is true for all positive integers $n$:
$$\sum_{i=1}^n i = \frac{n(n+1)}{2}$$