The size of algebraic integers with many real conjugates