9. Si $a, b, c, d$ son números reales positivos, demuestre que $$(a^3b + b^3c + c^3d + d^3a)(ab^3 + bc^3 + cd^3 + da^3) \ge 16a^2b^2c^2d^2.$$ Pi-Infinity