Cardinality of the set of all infinite monotonically decreasing sequences of naturals
A monotonically non-increasing sequence of natural numbers is eventually constant, so it is completely identified by specifying the finite initial subsequence up to the point at which it becomes constant. There are only countably many finite sequences of natural numbers.