如图，在正方形ABCD中，AB＝4，E是对角线BD的中点，点F为BC所在直线上方一点，连接BF、CF、EF ， 若∠BFC＝30°，则EF长的最大值为．