[0, pi) で tan x >= 1 を解け。