User blog comment:Ubersketch/Time/@comment-32994025-20190430193157/@comment-35470197-20190430222041

It is not necessarily (smaller than or equal to) \(\omega\). It can go beyond it.