Now ~FðXn,OnÞ40 by definition. The

Now ~FðXn,OnÞ40 by definition. The region 0oXnoL1ðOnÞ is defined to ensure that F3ðXn,On,0Þo0 and so, for sufficiently small Un, F3ðXn,On,UnÞo0 also. Therefore, the denominator of (81) is negative. In the numerator, we have by assumption that Uno0, and so it remains to consider the term in the square brackets. The following result shows that this quantity is positive

ผลลัพธ์ (ไทย) 1:

ตอนนี้ ~ FðXn, OnÞ40 โดยคำจำกัดความ 0oXnoL1ðOnÞ ภูมิภาคกำหนดไว้เพื่อให้แน่ใจว่า F3ðXn ใน 0Þo0 และดังนั้น Un พอเล็ก F3ðXn บน UnÞo0 ยัง ดังนั้น ส่วนของ (81) เป็นค่าลบ ในเศษ เรามีสมมติฐานที่ Uno0 และดังนั้น ยังคงต้องพิจารณาเงื่อนไขในวงเล็บเหลี่ยมครอบ ผลลัพธ์ต่อไปนี้แสดงว่า ปริมาณนี้เป็นค่าบวก

ผลลัพธ์ (ไทย) 2:

ตอนนี้ ~ FðXn, OnÞ40โดยความหมาย ภูมิภาค0oXnoL1ðOnÞถูกกำหนดเพื่อให้แน่ใจว่าF3ðXn, On, 0Þo0ดังนั้นสำหรับขนาดเล็กพออู, F3ðXn, On, UnÞo0ยัง ดังนั้นส่วนของ (81) เป็นลบ ในเศษเรามีโดยสันนิษฐานว่า Uno0 และดังนั้นจึงยังคงที่จะต้องพิจารณาคำในวงเล็บตาราง ผลที่ได้ดังต่อไปนี้แสดงให้เห็นว่าปริมาณนี้เป็นบวก

ผลลัพธ์ (ไทย) 3:

ตอนนี้ ~ F ðคริสเตียนในÞ 40 โดยนิยาม การð 0oxnol1 เขตที่กำหนดเพื่อให้แน่ใจว่าÞ F3 ðคริสเตียน , บน , 0 Þ ; D ; D ดังนั้น อย่างเพียงพอและขนาดเล็ก , F3 ðซิน ใน อุนÞ ; D ; D ด้วย ดังนั้น ส่วนของ ( 81 ) เป็นลบ ในเศษ เราได้ โดยสมมุติฐานว่า uno0 และดังนั้นจึงยังคงต้องพิจารณาระยะเวลาในวงเล็บสี่เหลี่ยม ผลลัพธ์ต่อไปนี้แสดงให้เห็นว่าปริมาณนี้เป็นบวก