Counting polynomials with positive roots

This paper investigates the number of monic integer polynomials of degree $n$ whose roots are all real and positive. We establish an asymptotic formula for the case of fixed trace by estimating the number of integer sequences satisfying Maclaurin's inequalities. For cubic polynomials, we derive a much more precise asymptotic result. Furthermore, we analyse the arithmetic properties of the discriminants of these polynomials, showing that a positive proportion of cubics have square-free discriminants.