(2012•海淀区二模)已知命题p:∃x∈R,使sinx<[1/2]x成立. 则¬p为(  )