lim[n→∞]∫[0,nπ]e^(-x)*|sin(nx)|dxが存在するなら
lim[n→∞]∫[0,π]e^(-x)*|sin(nx)|dxも存在するだろ？
多分両者は一致