hmmm mi opinión es la siguiente.
En el enunciado se dice que

, por lo que ya tenemos un valor de g. Ahora comprobemos que es continua por la derecha de ese valor. Si no lo es, se demostraría que no es continua [a,b]. Si lo es, vamos por buen camino, aunque no habríamos demostrado que es continua en [a,b].
Para que sea continua, los valores de g por la derecha tienen que acercarse a

, así que veamos cómo son los valores de g por la derecha. g tiene por valor
el máximo de los valores desde a hasta x, pudiendo ser x cualquier valor hasta b incluido. Por lo que concluyo, y aquí puede estar mi error si lo hay, que g tendrá en (a,b] por valor la cota superior de f en (a,b]. Por tanto es continua en (a,b].
Y me dejé en el tintero el primer párrafo, que no pude resolver por no saber el valor de g en

. Pero en el segundo deduzco que es la cota superior de f en (a,b]. Luego
![f(a)=g(a)=\max(a,b]](/foros/Sources/latexrender/pictures/45447eab0361cdd09b7b770bc82ce4b1.png)
para que sea continua. Y sí, sería en tal caso, constante

No sé si tu demostración está bien, porque me cuesta entender el lenguaje matemático xD pero si la idea que plasmaste es parecida, no sé, a lo mejor la tenemos los dos bien hahaha