existence theorem for limits