Original proof by Ivan Niven: A Simple Proof that π is Irrational, Ivan Niven, Bulletin of the American Mathematical Society, 53 (1947), p. 509. --- 0:00 Introduction 0:29 Construct f(x) 3:28 Construct F(x) 6:12 Reflection of the Proof