ウォリス積分から始まって，親切な誘導にのり進んでいくとウォリスの公式に到達しています．