Risolvi tan x = \sqrt 3 in [0, 2pi)