Library Stdlib.Reals.Rtrigo_fun
Require Import Rbase.
Require Import Rfunctions.
Require Import SeqSeries.
Require Import Arith.Factorial.
Local Open Scope R_scope.
To define transcendental functions and exponential function