\(\displaystyle \ \ \ \ \ \ \ \ \ \ \ \ S \le \frac{\sqrt{3}}{4} ( abc )^{2/3} \)
Sinceramente il mio metodo è un po' complicato, ma penso ce ne siano di più semplici. Nel complesso però mi pare carina!

P.S. Dando uno sguardo agli IMO ho scoperto che è un longlisted problem, il GDR 4 (che non so cosa significhi).