discrete lim inf of (-1)^n as n -> infinity