ll=gets.to_i
n=gets.split.map(&:to_i)
i=1
ans=0
(ll-1).times{
    if n[i-1]==i && n[i]==i+1
        ans+=1
        i+=2
    elsif n[i-1]==i 
     ans+=1
     i+=1
 else i+=1
 end}
 
 if n[ll-1]==ll
     ans+=1
 end
 
 p ans
