Etwas späte Antwort: So kurz und einfach geht das nicht, weil ja das Maßintegral stufenweise definiert wird. Man bräuchte erstmal Folgen, die nur endlich viele Werte annehmen. Mit denen muss man dann nichtnegative Folgen monoton approximieren usw. Hm, das würde ja länger als der ganze Artikel ;-) -- HilberTraum 20:25, 6. Apr. 2015 (CEST)