Cho x; y là các số thực dương thỏa mãn: y/(x + y) + 2y^2/(x^2 + y^2) + 4y^4(x^4 + y^4) + 8y^9(x^8 - y^8) = 4. Chứng minh rằng 5y = 4x