Solve the integral ∫ from 0 to 1 of arctan(x) dx.
a) π/4 - (1/2) * ln(2)
b) π/4 + ln(2)
c) π/2 - ln(2)
d) π/2 + (1/2) * ln(2)