N = gets.to_i
A = gets.split.map(&:to_i)
ans = N
last = N + 1

A.each do |a|
  if a <= N
    ans -= 1
  else
    ans += a - last
    last = a + 1
  end
end

puts ans