func main()
	var n: int :: cui@inputInt()
	var a: []int :: #[n]int
	for i(0, n - 1)
		do a[i] :: cui@inputInt()
	end for
	
	var target: int :: n
	var ans: int :: 0
	for i(n - 1, 0, -1)
		if(a[i] = target)
			do target :- 1
		else
			do ans :+ 1
		end if
	end for
	do cui@print("\{ans}\n")
end func