Gs(x)=Lis+1(x).