import Control.Applicative
import Control.Monad
import Data.Functor
import Data.Array
import Data.List

import qualified Data.ByteString.Char8 as C
import Data.Maybe

main = sol <$> (C.getLine *> get) >>= print

get = fmap fst . mapMaybe C.readInt . C.words <$> C.getLine

sol as = siz $ lis as 
    where
    dp = listArray (0, length as - 1) $ repeat mxb
    lis = foldl' lbd dp
    siz = length . filter (< mxb) . elems

mxb = maxBound :: Int

-- lbd :: (Ix i, Ord e, Integral i) => Array i e -> e -> Array i e
lbd dp a = dp//[(bsearch l r p, a)]
    where
    (l,r) = bounds dp
    p i = dp!i > a

-- Binary search
--bsearch :: Integral t => t -> t -> (t -> Bool) -> t
bsearch l r p -- precondition: (p l) && not (p r)
  | l+1==r    = if p l then l else r
  | p m       = bsearch l m p
  | otherwise = bsearch m r p
  where m = (l+r) `div` 2