Lim-inf Definition

noun
Limit inferior.
Wiktionary