πが超越数である事の証明は、1882年。リンデマンによる。