if __FILE__ == $0
  size = gets.to_i
  seq = gets.split(" ").map(&:to_i)

  n = size
  count = 0
  seq.reverse.each do |i|
    if i == n
      count += 1
      n -= 1
    end
  end

  p size - count
end