solve tan x >= 1 em [0, pi)