Добрый день!
Возникла проблема с функциональным анализом.
Необходимо проверить на сепарабельность множество неубывающих функций на [0;1] с метрикой:

Идем по определению сепарабельности. Со счетностью разобрался. Проблема осталась с проверкой на всюду плотность. В лекциях давали похожие примеры, там приводился контр-пример. Как, откуда его брать? Вот в этом у меня и проблема. Помогите, пожалуйста.
Заранее спасибо.