>>284
ルベーグ積分の定義なんかでよく見かけるテクニックだが、
f = f_+ - f_- (f_+ := max{f, 0}, f_- := min{f, 0}) なら f_+, f_- ともに正値函数だと思う。