fact: Fixpoint taylor_series_ln1px (deg : nat) : polynomial := match deg with | O => [] | S deg' => (((-1)^(deg'))%Z / deg, Z.of_nat deg) :: taylor_series_ln1px deg' end.
imports: Coq.Strings.String Coq.Structures.Orders Coq.micromega.Lia Coq.Bool.Bool Coq.Sorting.Mergesort Coq.QArith.QArith Coq.QArith.Qround Coq.QArith.Qabs Coq.QArith.Qminmax Coq.NArith.NArith Coq.ZArith.ZArith Coq.Arith.Arith Coq.Lists.List PerformanceExperiments.LetIn