若正方形ABCD的边长为4,对角线交于点O,点E在AC上,且OE=根号2,延长BE交直线AD于F,则DF等于多少?