Σsin(nx)/nが広義一様収束することを示せ