We solve a fun infinitely nested integral problem. Posing the problem in a more rigorous way leads to an interesting discussion of fixed-point iteration.
@DrTrefor has a really interesting video on this problem, covering some of the finer details that I unfortunately missed! See here: https://youtu.be/fsaDjHA5m3o
See also https://youtu.be/K5k-mAgH3BE for more on fixed-point iteration.
00:00 What does it mean?
00:30 A neat solution
02:15 More rigorous approach
04:37 A solution using iteration
06:37 More solutions?
