数学

二部グラフにおいて完全マッチングの個数を多項式時間の計算量で求めるアルゴリズムを教えて

円周率が3より大きいことを証明したい

円周率が3より大きいことを証明するにはどうすればいいですか？