関数 が上に凸なので， とおくと， は収束する． 一方， よって は のとき収束する．極限を とおくと， http://d.hatena.ne.jp/yoshitake-h/20110627

連続関数の可積分性．曲線の長さ．