import Control.Applicative ((<$>), (<*>))
import Data.ByteString.Char8 (ByteString)
import qualified Data.ByteString.Char8 as B
import Data.List
import Data.Char (isSpace)

main :: IO ()
main = do
  B.getLine
  solve <$> getl (readil B.readInt) >>= print

solve :: [Int] -> Int
solve = foldl' f 1 . reverse
  where
    f i pm
      | i == 1 = pm
      | i <= pm = i - 1
      | otherwise = i

getl :: (ByteString -> a) -> IO a
getl f = f <$> B.getLine

readil :: Integral a =>  (ByteString -> Maybe (a, ByteString)) -> ByteString -> [a]
readil f = unfoldr g
  where
    g s = do
      (n, s') <- f s
      return (n, B.dropWhile isSpace s')