1
a, b, c, …はどの2個も互いに素であるとする。
Φ(x)を実数xを超えない正整数の中でa, b, c, …で割り切れないものの数とする。
Φ(x)=[x]-[x/a]-[x/b]-…+[x/ab]+…-[x/abc]-…となることを証明せよ。