結果 : integration of greatest integer function cot x