limx(∏/2-arctanx) x→+∞