El número de Salem más pequeño que se conoce es la mayor de las raíces reales del polinomio de Lehmer