Majorants for formal power series

In previous papers, we have started to develop a fully effective complex analysis. The aim of this theory is to evaluate constructible analytic functions to any desired precision and to continue such functions analytically whenever possible. In order to guarantee that the desired precision is indeed obtained, bound computations are an important part of this program. In this paper we will recall or show how the classical majorant technique can be used in order to obtain many such bounds.