不等式への招待 第２章

The Cauchy-Schwarz Master Classから一問。
[Exercise 12.8] (Weierstrass's Polynomial Product Inequality)

複素数 a_1, a_2, …, a_n と b_1, b_2, …, b_n が
1≦j≦nにおいて |a_j|≦1、 |b_j|≦1 を満たすとき、
|a_1*a_2*…*a_n - b_1*b_2*…*b_n| ≦ �� [1≦j≦n] |a_j - b_j|
の証明キボンヌ。