Existence of periodic points for maps ofS1