n = gets.chomp.to_i
a = gets.chomp.split(" ").map(&:to_i)

ret = 0
curr = 1
i = 0
loop do
  break if i > n - 1
  if a[i] == curr
    ret += 1
    curr += 2
    i += 2
  else
    curr += 1
    i += 1
  end
end

if n.odd? && a.last == n
    ret += 1
end

puts ret