>>468
定義から l≧a_p、m≦a_q (p、qは任意の自然数)
引け

>>472
C^∞級とは任意の自然数nに対して d^nf/dx^nが存在するということ