Negate a nested quantified claim and construct a valid witness. Explain your reasoning and identify any hypothesis that the conclusion needs.

Prove the epsilon characterization of a supremum or infimum and apply it without a limit theorem. State every assumption you use and give a complete argument.

Prove a Cauchy sequence with a convergent subsequence has the same limit and locate completeness precisely. State every assumption you use and give a complete argument.