>>309

Σ[i=1,2,…k]1/n_i=M:自然数
となるならば
両辺にa_1a_2…a_(k-1)を掛けると
a_kとa_1〜a_(k-1)のどれかは互いに素でないことが解る
対偶をとって終わり