import Data.Char
import Data.List
import qualified Data.ByteString.Char8 as BS

main :: IO()
main = do
  [n, k] <- unfoldr (BS.readInt . BS.dropWhile isSpace) <$> BS.getLine
  hs <- unfoldr (BS.readInt . BS.dropWhile isSpace) <$> BS.getLine
  print $ length $ filter (>= k) hs