1: $, which (together with dominated convergence) in turn implies $