sketch of proof of sierpiński's theorem on non-atomic measures. a slightly stronger statement, which however makes the proof easier, is that if formula_20 is a non-atomic measure space and formula_21, there exists a function formula_22 that is monotone with respect to inclusion, and a right-inverse to formula_23. that is, there exists a one-parameter family of measurable sets s(t) such that for all formula_24