|(a,b)| ≦ |a||b|