周期環Pを使えば、大雑把に大体>>906と同じ方針で log(π) が周期環Pに属する無理数であることは示せる