No-no-no, non si sta supponendo che l'inf sia reale; per quanto ne sappiamo potrebbe anche essere -infinito (esattamente come nell'altra dimostrazione di Weierstrass). 

In effetti poi il finale sembra utilizzare che l'inf sia reale (in fondo a pagina 4 della lezione 106, suppongo), ma se l'inf è - infinito quella parte è ancora più semplice, in quanto basta sostituire quel valore medio con [tex:1bj6z2b3]f&#40;x_0&#41;-2015[/tex:1bj6z2b3] e tutto il discorso fila liscio <!-- s:D --><img src="{SMILIES_PATH}/icon_biggrin.gif" alt=":D" title="Very Happy" /><!-- s:D -->.

P.S. Però sposto la discussione nella sezione giusta.