const rl = require("readline").createInterface({ input: process.stdin });
var iter = rl[Symbol.asyncIterator]();
const readline = async () => (await iter.next()).value;

void (async function () {
  
  let line = await readline();
  line = line.split(" ");
  let max = line[0];
  let nums = line.slice(1);
  nums.sort((a, b) => a - b); //对数组进行排序
  if(parseInt(nums[0]) !== 0) { //如果第一位不是0 说明0缺失 直接返回并结束
      console.log(0);
      return
  }
  for (let i = 0; i < nums.length - 1; i++) {
    if (parseInt(nums[i]) + 1 !== parseInt(nums[i + 1])) {
      console.log(parseInt(nums[i]) + 1); //找到缺失的 返回并结束
      return;
    }
  }
  console.log(parseInt(max)); //没找到缺失的 说明缺失的是最后一共数
})();