This video is on the proof of the nested interval property.
You can expect more videos on Analysis\Proofs and stuff, but I will still make explainers from time to time.
Manim : https://github.com/3b1b/manim
3blue1brown : https://youtube.com/c/3blue1brown
Gregorious Maths : https://youtube.com/channel/UCAORiZ2RRFNG3A_y4_YL13w
Music : Amber (YouTube's Audio Library)