EN
Let α be a totally positive algebraic integer of degree d, i.e., all of its conjugates $α₁ = α,..., α_{d}$ are positive real numbers. We study the set 𝓡₂ of the quantities $(∏_{i=1}^{d} (1 + α²_{i})^{1/2})^{1/d}$. We first show that √2 is the smallest point of 𝓡₂. Then, we prove that there exists a number l such that 𝓡₂ is dense in (l,∞). Finally, using the method of auxiliary functions, we find the six smallest points of 𝓡₂ in (√2,l). The polynomials involved in the auxiliary function are found by a recursive algorithm.