应该是对于任意的G>0，存在N=N(G)，当n>N(G)时，S(n)>G。令n=2^(k+1)-1，S(n)>1+k/2>k/2>G，k>2G。所以对任意G>0，存在N=2^(2G+1)-1，当n>N时，S(n)>G。
