Hey guys, I was doing some questions from spivak when i noticed this integral he set up. To prove that the integral is [tex] \pi/2 [/tex] for all values of x, i needed to prove [tex] Arctan(x) + Arctan(\frac{1}{x}) = \pi/2 [/tex] for all values of x. Just wondering what is the most elegant proof of this?
