add some  proofs about limit inferior/superiors. incomplete.