x:=sum(sum(p^(j-i),i=1..j-1),j=1..n)