Mi sembra un problema molto difficile!
La mia idea inizialmente era di dimostrare che per ogni \( n \in \mathbb{N} \) esiste una successione \( \{x_k\}_{k \in \mathbb{N}} \subset M \) tale che \( x_k \to x^n \) nella sup-norma di \( [a,b] \) e poi usare Stone-Weierstrass
C'ho pensato un po' su e non mi è venuto in mente niente. Ho cercato la cosa sul web e ho scoperto che questo teorema ha un [url=https://en.wikipedia.org/wiki/Müntz–Szász_theorem]nome[/url]! Quell'affare (cioè il nostro cannone) unito alla divergenza della serie dei reciproci dei primi dovrebbe portare alla conclusione desiderata.
Tu speravi davvero in una dimostrazione "a mano"? Quella del teorema si può trovare per esempio
qua, in fondo a pagina 5.