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: Wallis product | Statement: [John Wallis, notableConcept, Wallis product]

Target entity: Wallis product
Context triple: [John Wallis, notableConcept, Wallis product]

• A. Gauss’s constant
  Gauss’s constant is a mathematical constant arising in number theory and complex analysis, particularly in connection with the lemniscate and elliptic functions.
• B. Sylvester sequence
  The Sylvester sequence is an integer sequence defined recursively where each term is one more than the product of all previous terms, yielding rapidly growing, pairwise coprime numbers closely related to Egyptian fraction representations.
• C. Khinchin's constant
  Khinchin's constant is a mathematical constant that arises in metric number theory, describing the almost-sure geometric mean of the partial quotients in the continued fraction expansions of real numbers.
• D. Euler product formula for the Riemann zeta function
  The Euler product formula for the Riemann zeta function is a fundamental identity in analytic number theory that expresses the zeta function as an infinite product over all prime numbers, revealing a deep connection between primes and the distribution of integers.
• E. Jacobi triple product
  The Jacobi triple product is a fundamental identity in number theory and complex analysis that expresses an infinite product as an infinite sum, playing a key role in the theory of theta functions and q-series.
• 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: Wallis product
Triple: [John Wallis, notableConcept, Wallis product]

The Wallis product is an infinite product formula for π/2, discovered by John Wallis in the 17th century and notable as one of the earliest infinite product representations of π.

Target entity: Wallis product
Target entity description: The Wallis product is an infinite product formula for π/2, discovered by John Wallis in the 17th century and notable as one of the earliest infinite product representations of π.

• A. Gauss’s constant
  Gauss’s constant is a mathematical constant arising in number theory and complex analysis, particularly in connection with the lemniscate and elliptic functions.
• B. Sylvester sequence
  The Sylvester sequence is an integer sequence defined recursively where each term is one more than the product of all previous terms, yielding rapidly growing, pairwise coprime numbers closely related to Egyptian fraction representations.
• C. Khinchin's constant
  Khinchin's constant is a mathematical constant that arises in metric number theory, describing the almost-sure geometric mean of the partial quotients in the continued fraction expansions of real numbers.
• D. Euler product formula for the Riemann zeta function
  The Euler product formula for the Riemann zeta function is a fundamental identity in analytic number theory that expresses the zeta function as an infinite product over all prime numbers, revealing a deep connection between primes and the distribution of integers.
• E. Jacobi triple product
  The Jacobi triple product is a fundamental identity in number theory and complex analysis that expresses an infinite product as an infinite sum, playing a key role in the theory of theta functions and q-series.
• F. None of above. chosen