ということは俺の勝ちだな。お前はこの定理を知らないんだろ。ところでお前は独自の方法で、∫[0,π/2]log(cosx)dxの収束性を証明できるのかよw？