We are given the natural numbers $1=a_1,\, \, a_2,...,a_n$, for which $a_i\leq a_{i+1}\leq 2a_i$ for $i=1,2,...,n-1$ and the sum $\sum_{i=1}^n a_i$ is even. Prove that these numbers can be partitioned into two groups with equal sum.
Problem
Source: I International Festival of Young Mathematicians Sozopol 2010, Theme for 10-12 grade
Tags: number theory, combinatorics, partition