Nesting gives and , with throughout. So is increasing and bounded above by , and is decreasing and bounded below by ; both converge. Let and . Since limits preserve inequalities, .

Existence: for all , , so ; letting gives for every fixed . Hence .

Uniqueness: by construction, while ; since limits are unique, , so the intersection is the single point : indeed means for all , which forces .