Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Cauchy sequence | Statement: [Augustin-Louis Cauchy, knownFor, Cauchy sequence]

Target entity: Cauchy sequence
Context triple: [Augustin-Louis Cauchy, knownFor, Cauchy sequence]

• A. Weierstrass M-test
  The Weierstrass M-test is a criterion in real and complex analysis that provides a sufficient condition for the uniform convergence of a series of functions by comparing it to a convergent series of bounding constants.
• B. Cauchy-à-la-Tour
  Cauchy-à-la-Tour is a small commune in the Pas-de-Calais department of northern France.
• C. Ulam sequence
  The Ulam sequence is an integer sequence starting with 1 and 2 in which each subsequent term is the smallest integer that can be written uniquely as the sum of two distinct earlier terms.
• D. Archimedean property of real numbers
  The Archimedean property of real numbers is a fundamental axiom stating that for any real number, there exists a natural number larger than it, ensuring there are no infinitely large or infinitesimally small elements in the real number system.
• E. Banach fixed-point theorem
  The Banach fixed-point theorem is a fundamental result in metric space theory that guarantees the existence and uniqueness of a fixed point for any contraction mapping and provides a method for finding it via iterative approximation.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Cauchy sequence
Triple: [Augustin-Louis Cauchy, knownFor, Cauchy sequence]

A Cauchy sequence is a sequence whose terms become arbitrarily close to each other as the sequence progresses, providing a fundamental criterion for convergence in metric and normed spaces.

Target entity: Cauchy sequence
Target entity description: A Cauchy sequence is a sequence whose terms become arbitrarily close to each other as the sequence progresses, providing a fundamental criterion for convergence in metric and normed spaces.

• A. Weierstrass M-test
  The Weierstrass M-test is a criterion in real and complex analysis that provides a sufficient condition for the uniform convergence of a series of functions by comparing it to a convergent series of bounding constants.
• B. Cauchy-à-la-Tour
  Cauchy-à-la-Tour is a small commune in the Pas-de-Calais department of northern France.
• C. Ulam sequence
  The Ulam sequence is an integer sequence starting with 1 and 2 in which each subsequent term is the smallest integer that can be written uniquely as the sum of two distinct earlier terms.
• D. Archimedean property of real numbers
  The Archimedean property of real numbers is a fundamental axiom stating that for any real number, there exists a natural number larger than it, ensuring there are no infinitely large or infinitesimally small elements in the real number system.
• E. Banach fixed-point theorem
  The Banach fixed-point theorem is a fundamental result in metric space theory that guarantees the existence and uniqueness of a fixed point for any contraction mapping and provides a method for finding it via iterative approximation.
• F. None of above. chosen