Proof: (This is a constructive proof)
Suppose there exists such a positive integer n, such that it is the sum of the positive integers not exceeding it.
I need to make clear of the term "not exceeding".
By my understanding, it means "not bigger than" or "less than or equal to".
Now by this understanding, the integer n ...
This provides an example of a positive integer proof.