已知x属于(0,派/2),比较2sin2x与cotx/2的大小