Talk about fundamental frequency estimation, also known as pitch estimation or pitch detection, which is a problem encourentered in many speech and audio applications.
Funny.. I watched it too just yet for the second time 😃 Somehow it surfaced on my RU-vid app... And I can follow it now better than the first time I saw it!