Note that this is a beautiful demonstration that it is not possible to
substitute infinity to just a part of the limit expression. If we try to
claim that arctangent is
π/2
at infinity, therefore it can be accordingly replaced, we would
get a wrong answer: