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: Faulhaber's formula | Statement: [Euler–Maclaurin summation formula, relatedTo, Faulhaber's formula]

Target entity: Faulhaber's formula
Context triple: [Euler–Maclaurin summation formula, relatedTo, Faulhaber's formula]

• A. Euler–Maclaurin summation formula
  The Euler–Maclaurin summation formula is a fundamental result in analysis that connects sums and integrals, providing powerful asymptotic expansions and error estimates for approximating series by integrals.
• B. Bernoulli numbers chosen
  Bernoulli numbers are a sequence of rational numbers that play a central role in number theory and analysis, especially in formulas for sums of powers of integers and in the study of special functions like the Riemann zeta function.
• C. Vandermonde's identity
  Vandermonde's identity is a fundamental combinatorial formula that expresses a binomial coefficient with a sum index as a sum of products of binomial coefficients, often visualized via counting arguments or generating functions.
• D. Pascal's triangle
  Pascal's triangle is a triangular array of numbers in which each entry is the sum of the two directly above it, widely used in combinatorics, algebra, and probability.
• E. Pochhammer symbol
  The Pochhammer symbol is a mathematical notation representing rising factorials, widely used in series expansions, special functions, and hypergeometric functions.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.