The absolute trace of totally positive algebraic integers

Thanks to our recursive algorithm developed in [Trace of totally positive algebraic integers and integer transfinite diameter, Math. Comp. 78(266) (2009) 1119–1125], we prove that, if [Formula: see text] is a totally positive algebraic integer of degree [Formula: see text] with minimum conjugate [Formula: see text] then, with a finite number of explicit exceptions, [Formula: see text]