I am very new to function approximations, and I am interested in approximating arcsin with a function $f$, s.t. $f(x) \geq \arcsin(x)$ for all $x$.
Taylor series would give me a function which is always at most $\arcsin(x)$, but I am wondering if there are maybe some trigonometric identities with which I can obtain a desired approximation.