Exercise 2.5

Let (An)n≥1 be a sequence of sets. Show that

limsup ⁡ n→∞1An − liminf ⁡ n→∞1An = 1{limsup ⁡ nAn∖liminf ⁡ nAn}.