The following video is complex but good to include as we look at π , It uses Johann Heinrich Lambert proof from the 1760s.
Pi is IRRATIONAL: animation of a gorgeous proof