Series : INTEGRATION

간결할수록 어려울 수 있다. ㅤ \[ \int_{0}^{\frac{\pi}{2}} \{ \tan x \} dx\] ㅤ ㅤ ㅤ ㅤ 여기서 \(\{ \}\)란 어떤 실수의 소수부분을 의미하며 엄밀히 쓰자면 다음을 만족하는 어떤 정수 \(n\)이 존재하여 \[ n \leq x < n+1 \,\,\, \Leftrightarrow \,\,\, \{ x\} = x-n \] 라 쓸 수 있다. ㅤ 그러니 일단 \[ \text{let}