For (1) to (4) see exercise. For (5) see exercise. (6) follows directly from (5), because of | f | = max ( f , − f , ) {\displaystyle {}\vert {f}\vert ={\max {\left(f,-f,\right)}}} . For (7), see exercise.
