query: Calculus proof - Possible application of a known proof
positive_passages.docid: 19845
positive_passages.text: Mean Value Theorem for Integrals
negative_passages.docid: 27884
negative_passages.text: How to show via induction the product rule for derivatives?
negative_passages.docid: 91786
negative_passages.text: Proving and disproving $\exists b,c\in \mathbb R$ such that $f(x)=\frac a2x^2+bx+c $
negative_passages.docid: 134202
negative_passages.text: Proof by Induction - Math
negative_passages.docid: 97371
negative_passages.text: Proving a function is constant, under certain conditions?
negative_passages.docid: 89851
negative_passages.text: Has any previously unknown result been proven by an automated theorem prover?
negative_passages.docid: 64437
negative_passages.text: Proof by induction (power rule of the derivative)
negative_passages.docid: 106799
negative_passages.text: Proof Verification: Converse of Intermediate Value Theorem
negative_passages.docid: 55853
negative_passages.text: Proof using Taylor's theorem
negative_passages.docid: 80598
negative_passages.text: Try to prove a generalization of the IVT?
negative_passages.docid: 105767
negative_passages.text: derivative under integral intuition
negative_passages.docid: 154406
negative_passages.text: Real analysis - proof approach help
negative_passages.docid: 7003
negative_passages.text: Inductive proof of a formula for Fibonacci numbers
negative_passages.docid: 54244
negative_passages.text: Understanding the Proof of L'Hopital's Rule
negative_passages.docid: 60321
negative_passages.text: Use the definition of derivative to prove $\lim_{x\to 0}\ln(x+1)/x =1$
negative_passages.docid: 148790
negative_passages.text: Basic question about proofs with the goal $\exists x P(x)$
negative_passages.docid: 49994
negative_passages.text: Deduction of $\forall y \exists x (x=y)$