Provable Advantage of Parameterized Quantum Circuit in Function Approximation