>>951
950ではないが
2|ab|≦a^2 + b^2≦|ab| |c| + 2 より |c|≦2 は自明。