N Is a Number: A Portrait of Paul Erdös (1993)

  https://www.imdb.com/title/tt0125425/