N = gets.to_i
A = gets.split.map(&:to_i)

ans = 0
cur = N

A.reverse_each do |a|
  if cur == a
    cur -= 1
  else
    ans += 1
  end
end

puts ans