arcctgx<π2