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: van der Corput lemma | Statement: [Johannes G. van der Corput, knownFor, van der Corput lemma]

Target entity: van der Corput lemma
Context triple: [Johannes G. van der Corput, knownFor, van der Corput lemma]

• A. Riemann–Lebesgue lemma
  The Riemann–Lebesgue lemma is a fundamental result in Fourier analysis stating that the Fourier coefficients (or transform) of an integrable function vanish at infinity.
• B. Kronecker’s lemma
  Kronecker’s lemma is a result in real analysis and summability theory that links the convergence of series with weighted averages of their partial sums, often used in the study of Fourier series and ergodic theorems.
• C. 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.
• D. Bombieri–Vinogradov theorem
  The Bombieri–Vinogradov theorem is a major result in analytic number theory that gives strong average estimates for the distribution of prime numbers in arithmetic progressions, approaching what is predicted by the Generalized Riemann Hypothesis.
• E. Lebesgue differentiation theorem
  The Lebesgue differentiation theorem is a fundamental result in real analysis stating that, for an integrable function, the averages over shrinking neighborhoods converge almost everywhere to the function’s pointwise value.
• 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: van der Corput lemma
Triple: [Johannes G. van der Corput, knownFor, van der Corput lemma]

The van der Corput lemma is a fundamental result in analytic number theory and harmonic analysis that provides bounds for oscillatory integrals and exponential sums, crucial for estimating error terms in various asymptotic formulas.

Target entity: van der Corput lemma
Target entity description: The van der Corput lemma is a fundamental result in analytic number theory and harmonic analysis that provides bounds for oscillatory integrals and exponential sums, crucial for estimating error terms in various asymptotic formulas.

• A. Riemann–Lebesgue lemma
  The Riemann–Lebesgue lemma is a fundamental result in Fourier analysis stating that the Fourier coefficients (or transform) of an integrable function vanish at infinity.
• B. Kronecker’s lemma
  Kronecker’s lemma is a result in real analysis and summability theory that links the convergence of series with weighted averages of their partial sums, often used in the study of Fourier series and ergodic theorems.
• C. 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.
• D. Bombieri–Vinogradov theorem
  The Bombieri–Vinogradov theorem is a major result in analytic number theory that gives strong average estimates for the distribution of prime numbers in arithmetic progressions, approaching what is predicted by the Generalized Riemann Hypothesis.
• E. Lebesgue differentiation theorem
  The Lebesgue differentiation theorem is a fundamental result in real analysis stating that, for an integrable function, the averages over shrinking neighborhoods converge almost everywhere to the function’s pointwise value.
• F. None of above. chosen