[0, 4pi) で cos x = 1 を解け。