Prove the following program is correct

While count<>n do

count=count +1;

end {sum=1+2++n}