a,b∈R、a≦bかつ-a≦bならば|a|≦b
与式より-b≦-a≦b, -b≦a≦bと示せるため|a|≦b