9. Cho a, b, c là các số thực dương thoả mãn abc = 2. Tìm giá trị lớn nhất của biểu thức \[ P = \frac{a}{2a^2 + b^2 + 5} + \frac{2b}{6b^2 + c^2 + 6} + \frac{4c}{3c^2 + 4a^2 + 16} \]