cosx<=1/3