Theorem: A positive integer n will be the sum of a sequence of consecutive positive integers if and only if
All positive integers. I assume it has to be related to it can't be 2^n.
What is the proof?