let $i^2=-1,a>0$, show that $$arg((1+ia)(2+ia)(3+ia)\cdots(n+ia))=\arctan{\dfrac{a}{1}}+\arctan{\dfrac{a}{2}}+\cdots+\arctan{\dfrac{a}{n}}$$
I can't How prove this equation,Thank you
because $n=1$.we have $$(1+ia)=\arctan{a}\Longleftrightarrow \tan{(1+ia)}=a?$$ then I can't.Thank you