We give lower bounds for the Mahler measure of totally positive algebraic integers. These bounds depend on the degree and the discriminant. Our results improve earlier ones due to A. Schinzel. The proof uses an explicit auxiliary function in two variables.