令Pn=Sn,n^2+n=2^n-n
然后只能用二分法来确定一个正根x=k了.
在(0,[k]）上是Pn>Sn,在([k]+1,+无穷）是Pn