I wonder if this statement holds. I think it doesn't (if the cardinal of T is very large), but have no idea how to find a counter example.
Let $T$ be a totally ordered set, does there exists a sequence $(t_n)_{n \in \omega}$ such that $ \forall t \in T, \exists n, t \leq t_n$
Thank you !
Edit : I meant $(t \leq t_n)$, not $t < t_n$
Let $T$ be the first uncountable ordinal. Then for whatever $(t_n)_{n\in\omega}$ you pick, the set $$ \{\,t\in T\mid\exists n\in\omega\colon t<t_n\,\}=\bigcup_{n\in\Bbb \omega}\{\,t\in T\mid t<t_n\,\}$$ is a countable union of countable (because proper) subsets, hence is countable, hence is not all of $T$.