function Main(input) {
  /** @type {number[]} */
  const aList = input[1].split(' ').map(Number);

  // 残る可能性のあるレンガインデックス一覧
  const iList = [];
  for (var i = 0; i < aList.length; i++) {
    if (i + 1 >= aList[i]) {
      iList.push(i);
    }
  }

  // break === 0
  var f, remains, maxRemains = 0, maxIndex = null, isRemain;
  for (var flags = (1 << iList.length) - 1; flags > 0; flags--) {
    remains = 0;
    f = flags;

    iList.some((i, j) => {
      isRemain = f % 2;

      if (isRemain) {
        if (aList[i] - 1 !== remains) {
          // 中止
          return true;
        }
        remains += isRemain;
        // 最後のレンガとなる場合
        if (f === 1 && remains > maxRemains) {
          maxIndex = i;
          maxRemains = remains;
          // 終了
          return true;
        }
      }

      f = f >> 1;
    });
  }

  const answer = maxIndex !== null
    ? ((maxIndex + 1) - aList[maxIndex] + (aList.length - maxIndex - 1))
    : -1;

  console.log(answer);
}

Main(require("fs").readFileSync("/dev/stdin", "utf8").trim().split("\n"));