19.5.1 Компактность

Является ли множество функций \( M=\{x \in \) \( C([0,1]):|x(t)| \leq t \forall t \in[0,1]\} \) предкомпактным в пространстве \( C([0,1]) \) ?