Wikipediaのオイラーのφ関数のサイト（オイラーのφ関数 - Wikipedia）に という不等式があり、面白いと思ったので証明してみました。証明してるサイトが見つからなかったので、誤りがあったらすみません。 なお、最後の方で以下のことを使いました。 という…

かなり初期に や を素数 で割り切れる回数について書いたのですが、かなり気に入ってるのでもう少し読みやすくできないかと思い、改めて紹介します。以下のことは認めることにしてください。 任意の素数 、 自然数 について、 ならば、 ある自然数 が存在し…