Nested intervals/Arithmetic and geometric mean/Exercise

From Wikiversity
Jump to navigation Jump to search

Let be positive real numbers. We define recursively two sequences and such that , , and that

Prove that is a sequence of nested intervals.