what is x if tan(x) = 1 and 0 < x < pi?