What is lim inf sin((n*pi)/8)