DefnlimxafxLifforall0thereexistsa0suchthat0jxajimpliesjfxLjShowlimx12 DefnlimxafxLifxclosetoaandxaimpliesfxisclosetoLDefnlimxafxLifxclosetoaandx ID: 400493