20a: (keine Ahnung, ich hoffe datt funzt so)
Die Funktion selbst ist keine Treppenfunktion.
z.z.
Folge von Treppenfkt. mit
für jedes
ist f auf
eine Treppenfunktion
für
für
für
z.z. zu jedem
gibt es ein
, sodass
und
Sei N so gewählt, dass
für
![{\displaystyle \Rightarrow \left|f(x)-\underbrace {\phi _{n}\left(x\in \left[{1 \over n},1\right]\right)} \right|<\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/148ee6b39fa64b43044dc39a1d493ecef476f4df)
für ![{\displaystyle \phi _{n}\left(x\in \left[0,{1 \over n}\right)\right)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ce1e952e29c004efbcef0cec437f6620644f494)
![{\displaystyle \Rightarrow \left|f(x)-\phi _{n}\left(x\in \left[0,{1 \over n}\right)\right)\right|<\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/080b372a6ae7b08b7254886a5238201e786d5256)
(das wurde so gewählt, s.o.)