Risolvi tan x >= 1 in [0, pi)