[code]f(x)=lim inf fn[/code]