Solve tan x >= 1 on [0, pi)