real-analytic function