如图，在菱形ABCD中，对角线AC、BD相交于点O，点E是线段BO上的一个动点（可以与O、B重合），点F为射线DC上一点，若∠ABC=60∘，∠AEF=120∘，AB=5，则EF的取值范围是.