Primera nota, que g(x) es continua en x≠nπ debido a que para cada una de las x≠nπ existe un intervalo abierto alrededor de x donde g tiene la forma g(x)=√|x|sin(1sin(x)) (el conjunto de R∖{nπ:n∈Z} es abierto). Cualquier concatenación de funciones continuas también es continua, de modo que g es continua en este intervalo abierto y por lo tanto también en x.
Ahora tome x=0. Tenemos lim e lo \lim_{x\to0}\sqrt{|x|}\sin\left(\frac 1{\sin(x)}\right)=0 debido a que la función seno es acotada. Por lo g es continua en x=0.
Tome x=n\pi con n\neq 0. Ha \lim_{x\nearrow n\pi} \frac{1}{\sin(x)} o se +\infty o -\infty. Por lo tanto \lim_{x\nearrow n\pi} \sin\left(\frac{1}{\sin(x)}\right) no existe. Debido a x\mapsto \sqrt{|x|} es continua, también se \lim_{x\nearrow n\pi} \sqrt{|x|}\sin\left(\frac{1}{\sin(x)}\right) no existe a partir de la cual se desprende que g no es continua en x=n\pi para n\neq 0.
Actualización: Nota de los siguientes:
- x\mapsto \sqrt{|x|} alcanza su supremum en [0,\pi] a x=\pi.
- \sin\left(\frac{1}{\sin(x)}\right) alcanza cada valor entre -1 y 1 infinitamente a menudo como x\nearrow\pi
De ambas declaraciones se puede demostrar que g(x) no logran su supremum o infimum (\pm \sqrt{\pi}) en [0,\pi].