Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
@@ -586,9 +586,6 @@ STRICT REQUIREMENTS:
|
|
586 |
{SYMPY_GUIDELINES}
|
587 |
9. For problems where the subject is Real Analysis, observe the following guidelines:
|
588 |
|
589 |
-
### Real Analysis Proof Guidelines
|
590 |
-
For Real Analysis proofs, follow these principles to ensure clarity, rigor, and logical completeness:
|
591 |
-
|
592 |
a. **Justify Every Step**
|
593 |
- Provide detailed reasoning for each step and explicitly justify every bounding argument, inequality, or limit claim.
|
594 |
- If concluding that terms vanish in a limit, clearly explain why.
|
@@ -601,17 +598,17 @@ b. **Handling Limits and Differentiability**
|
|
601 |
- If proving continuity or differentiability, check symmetry in approach from both sides (left-hand and right-hand limits or derivatives).
|
602 |
|
603 |
c. **Function Definitions and Explicit Statements**
|
604 |
-
- When proving continuity, explicitly confirm that
|
605 |
- If a function is given piecewise, clearly state the function values at transition points before evaluating limits.
|
606 |
|
607 |
d. **Limit Justifications and Transitions**
|
608 |
-
- When using standard limits
|
609 |
-
- If a limit is computed informally before a formal
|
610 |
- Ensure smooth logical transitions between different parts of the proof by briefly explaining why one step leads naturally to the next.
|
611 |
|
612 |
e. **Function Properties and Integrability**
|
613 |
- If stating that a function is Riemann integrable, compact, or uniformly continuous, explain why.
|
614 |
-
- If claiming a function is continuous for all
|
615 |
- When assuming an integral is finite, provide justification based on function class properties (e.g., Riemann integrability implies boundedness).
|
616 |
|
617 |
f. **Inequalities and Asymptotics**
|
@@ -619,7 +616,7 @@ f. **Inequalities and Asymptotics**
|
|
619 |
- If using factorial ratios or infinite series sums, explicitly state their rate of convergence and reference known bounds (e.g., Stirling鈥檚 approximation).
|
620 |
|
621 |
g. **Uniform Convergence and Sequence Behavior**
|
622 |
-
- When proving uniform convergence, ensure that the bound obtained is independent of
|
623 |
- If using asymptotic behavior (e.g., factorial ratios tending to zero), provide explicit justification rather than just stating the result.
|
624 |
|
625 |
h. **Clarify the Use of Key Theorems (e.g., Squeeze Theorem)**
|
|
|
586 |
{SYMPY_GUIDELINES}
|
587 |
9. For problems where the subject is Real Analysis, observe the following guidelines:
|
588 |
|
|
|
|
|
|
|
589 |
a. **Justify Every Step**
|
590 |
- Provide detailed reasoning for each step and explicitly justify every bounding argument, inequality, or limit claim.
|
591 |
- If concluding that terms vanish in a limit, clearly explain why.
|
|
|
598 |
- If proving continuity or differentiability, check symmetry in approach from both sides (left-hand and right-hand limits or derivatives).
|
599 |
|
600 |
c. **Function Definitions and Explicit Statements**
|
601 |
+
- When proving continuity, explicitly confirm that f(x) is **defined** at the point of interest and state what its value is.
|
602 |
- If a function is given piecewise, clearly state the function values at transition points before evaluating limits.
|
603 |
|
604 |
d. **Limit Justifications and Transitions**
|
605 |
+
- When using standard limits briefly justify why it applies
|
606 |
+
- If a limit is computed informally before a formal epsilon-delta proof, explicitly state that the formal proof serves to confirm the computed limit rigorously.
|
607 |
- Ensure smooth logical transitions between different parts of the proof by briefly explaining why one step leads naturally to the next.
|
608 |
|
609 |
e. **Function Properties and Integrability**
|
610 |
- If stating that a function is Riemann integrable, compact, or uniformly continuous, explain why.
|
611 |
+
- If claiming a function is continuous for all x not equal to zero, explicitly justify why using function composition, bounded functions, or known theorems.
|
612 |
- When assuming an integral is finite, provide justification based on function class properties (e.g., Riemann integrability implies boundedness).
|
613 |
|
614 |
f. **Inequalities and Asymptotics**
|
|
|
616 |
- If using factorial ratios or infinite series sums, explicitly state their rate of convergence and reference known bounds (e.g., Stirling鈥檚 approximation).
|
617 |
|
618 |
g. **Uniform Convergence and Sequence Behavior**
|
619 |
+
- When proving uniform convergence, ensure that the bound obtained is independent of x to establish uniform control.
|
620 |
- If using asymptotic behavior (e.g., factorial ratios tending to zero), provide explicit justification rather than just stating the result.
|
621 |
|
622 |
h. **Clarify the Use of Key Theorems (e.g., Squeeze Theorem)**
|