n,k,iを自然数とし、自然数b1,...,bnがあり、b1+b2+...+bn =k　とする。
この時、次の条件を満たす自然数の数列a1,...anが存在することを示せ。
・ai>ai+1
・ai≧bi
・a1+...+an=k^2