已知函数f(x)定义在区间（-1,1）上,f(1/2)=-1,且当x,y属于(-1,1)时,恒有f(x)-f(y)=f((x-y)/(1-xy)）
又数列{an}满足a1=1/2,an+1=(2an)/(1+an^2).设bn=1/f(a1)+.1/f(an).求f（an）的表达式
是否存在正整数m,使得对任意n属于N,都有bn小于（m－8）／4成立,若存在,求出m最小值；若不存在,说明理由