<?php
  $wrote = explode(" ", trim(fgets(STDIN)));
  $j = 0;
  foreach ($wrote as $number) {
    if (($number - $j) > 1) {
      echo($number - 1);
      die;
    }
    $j = $number;
  }