-| ↑p| | ↑q| ≦↑p*↑q≦| ↑p| | ↑q|
から
(↑p*↑q)^2≦| ↑p|^2 |↑q |^2
を導くまでの計算過程を教えて下さい