&pi;がもし有理数ならば&pi;2も有理数になってしまうので、ルジャンドルの結果は&pi;の無理性の証明よりも強い結果である.
の証明