C^\infty