ByNobleID
    Approximation by polynomials: uniform convergence as implied by mean convergence. | NobleID