Estoy intentando resolver el siguiente problema del ejercicio 2.13 de la obra de Michel Coste Introducción a la geometría semialgebraica (octubre de 2002) [PDF].
Sea $S$ sea un subconjunto semialgebraico cerrado del plano que contiene la gráfica de la función exponencial $y=e^x$ . Demuestre que $S$ contiene algún intervalo $(-\infty,A)$ de la $x$ -Eje. Sugerencia: utilice la función "distancia a $S$ ".
Presento mi respuesta más arriba
