AT_abc148_d [ABC148D] Brick Break

[problemUrl]: https://atcoder.jp/contests/abc148/tasks/abc148_d $ N $ 個のレンガが横一列に並んでいます。 左から $ i~(1\ \leq\ i\ \leq\ N) $ 番目のレンガには、整数 $ a_i $ が書かれています。 あなたはこのうち $ N\ -\ 1 $ 個以下の任意のレンガを選んで砕くことができます。 その結果、$ K $ 個のレンガが残っているとします。このとき、任意の整数 $ i~(1\ \leq\ i\ \leq\ K) $ について、残っているレンガの中で左から $ i $ 番目のものに書かれた整数が $ i $ であるとき、すぬけさんは満足します。 すぬけさんが満足するために砕く必要のあるレンガの最小個数を出力してください。もし、どのように砕いてもそれが不可能な場合、代わりに `-1` を出力してください。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ a_1 $ $ a_2 $ $ ... $ $ a_N $

すぬけさんが満足するために砕く必要のあるレンガの最小個数を出力せよ。もし、どのように砕いてもそれが不可能な場合、代わりに `-1` を出力せよ。

### 制約 - 入力は全て整数である。 - $ 1\ \leq\ N\ \leq\ 200000 $ - $ 1\ \leq\ a_i\ \leq\ N $ ### Sample Explanation 1 一番左のレンガ $ 1 $ 個を砕くと、残ったレンガに書かれた整数は左から $ 1 $, $ 2 $ となります。 このとき、すぬけさんは満足します。 ### Sample Explanation 2 この場合、すぬけさんが満足するレンガの砕き方は存在しません。 ### Sample Explanation 4 レンガを $ 1 $ つも砕かなくていい場合もあります。