Cho các số thực dương a,b,c thỏa mãn

----- Nội dung ảnh -----
Bài 4. Cho các số thực dương \( a, b, c \) thỏa mãn \( |a^2 + b^2 + c^2 - 4| = abc \). Chứng minh rằng

\[
(2 - a)^3(2 - b)^5 + (2 - c)^7 + (2 - b)^9 + (2 - c)^{11}(2 - a)^{13} \geq 0.
\]