Let $x, m, a, s$ be positive real numbers such that $xma+mas+asx+sxm =\sqrt3$. Prove that $$\frac{1}{\sqrt{x^2 + m^2 + a^2}}+\frac{1}{\sqrt{m^2 + a^2 + s^2}}+\frac{1}{\sqrt{a^2 + s^2 + x^2}} +\frac{1}{\sqrt{s^2 + x^2 + m^2}} \le \frac{1}{xmas}$$
Problem
Source: 2024 IGMO Christmas Edition #4 International Gamma Mathematical Olympiad
Tags: algebra, inequalities