Uploaded July 2025 | Updated September 2026, 2 weeks ago
In this short, we show how to build the Wallis Sieve using an iterative procedure of cutting remaining square lengths into the next odd and removing the created central square in the corresponding square grid. Along the way, we discuss how to compute the area of the resulting limiting shape as an infinite product. This infinite product is related to the famous Wallis product and so the shaded area is amazingly Pi/4.
If you like this video, consider subscribing to the channel or consider buying me a coffee: buymeacoffee.com/VisualProofs. Thanks!
If you want to know more about the Wallis Sieve, check out this wonderful short article by Evelyn Lamb: scientificamerican.com/blog/roots-of-unity/a-few-of-my-favorite-spaces-the-wallis-sieve
#mathvideo #math #mtbos #manim #animation #iteachmath #mathematics #dynamicalsystems #fractal #fractals #wallissieve #wallis #wallisproduct #infiniteproduct
To learn more about animating with manim, check out:
https://manim.community
In this short, we show how to build the Wallis Sieve using an iterative procedure of cutting remaining square lengths into the next odd and removing the created central square in the corresponding square grid. Along the way, we discuss how to compute the area of the resulting limiting shape as an infinite product. This infinite product is related to the famous Wallis product and so the shaded area is amazingly Pi/4.
If you like this video, consider subscribing to the channel or consider buying me a coffee: buymeacoffee.com/VisualProofs. Thanks!
If you want to know more about the Wallis Sieve, check out this wonderful short article by Evelyn Lamb: scientificamerican.com/blog/roots-of-unity/a-few-of-my-favorite-spaces-the-wallis-sieve
#mathvideo #math #mtbos #manim #animation #iteachmath #mathematics #dynamicalsystems #fractal #fractals #wallissieve #wallis #wallisproduct #infiniteproduct
To learn more about animating with manim, check out:
https://manim.community


![Four Set Inclusion/Exclusion Visually!
This a supplemental video from one of my courses that I made in my more typical style. This is a follow up to previous videos introducing the Set cardinality theorems and then counting principles in general. In this particular video, we show how to begin to deal with the general Sum principle for Sets when you have more than three sets involved. Can you see how to keep extending this idea for more and more sets?
If you like this video, consider subscribing to the channel or consider buying me a coffee: https://www.buymeacoffee.com/VisualProofs. Thanks!
To see the two set and three set inclusion/exclusion versions, check out:
https://youtu.be/wXdoqPMlVRU?si=N5KKDetoD1d6zhh4 (two sets)
https://youtu.be/vVZwe3TCJT8?si=2BLGo4LNp2Gu1aaM (three sets)
To see other videos related to this, check out my Discrete Math series kept in a playlist called [Discrete Math Class]:
https://youtube.com/playlist?list=PLZh9gzIvXQUtB1t57_Xyk3yp9MK2iIFXX
#logic #settheory #inclusion/exclusion #intersection #setdifference #setminus #setconnectives #subsets #venndiagram #visualproof #math #manim #discretemathematics #sumprinciple
To learn more about animating with manim, check out:
https://manim.community
Music in this video:
Valiant Knights by MaxKoMusic | https://maxkomusic.com/
Royalty Free Music by https://www.free-stock-music.com
Creative Commons / Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
https://creativecommons.org/licenses/by-sa/3.0/deed.en_US Four Set Inclusion/Exclusion Visually!](https://i.ytimg.com/vi/sWY5zFb2tOE/mqdefault.jpg)







