Find this maximum of the $\frac{\sqrt{3}}{4}x^2+\frac{\sqrt{(9-x^2)(x^2-1)}}{4}$ Let $x\in \mathbb{R}$, find the function maximum of the value
$$f(x)=\dfrac{\sqrt{3}}{4}x^2+\dfrac{\sqrt{(9-x^2)(x^2-1)}}{4}$$
my attemp
$$x^2=5+4\sin{t},t\in\left[-\frac{\pi}{2},\frac{\pi}{2}\right]$$
then
$$f=\dfrac{5\sqrt{3}}{4}+2\sin{\left(t+\frac{\pi}{6}\right)}\le 2+\dfrac{5}{4}\sqrt{3}$$
My Question:this function have other methods to find this maximum? such as AM-GM,Cauchy-Schwarz inequality and so on?

Hint:
$$4f(x)-5\sqrt3=\sqrt{16-(x^2-5)^2}+\sqrt3(x^2-5)$$
Now set $x^2-5=4\cos t,0\le t\le\dfrac\pi2$
We can prove $$a\cos t+b\sin t\le\sqrt{a^2+ b^2}$$
