${\displaystyle \liminf _{x\rightarrow x_{0}}f(x)=\infty \Longleftrightarrow \forall K>0\,\exists \,U\in I(x_{0}):\forall \,x\in U\cap A\setminus \{x_{0}\}:f(x)>K}$

dovrebbe essere questa la definizione, tra l'altro in questo caso è equivalente al limite per x che tende a x0 di f(x) = + infinito

Secondo me l'immagine era fuorviante: le linee tratteggiate in rosso non dovrebbero essere curve, ma a scaletta, come nella pagine di Teknopedia inglese, e pertanto l'ho sostituita. Spero di non aver fatto errori: è la prima volta che modifico una voce.