>>92
cos(x)はx=0 の近傍で正だから、logとってロピタル。