Σa_i についてはいろいろ学んだはずなので、できれば
log(Π[1,n]a_i) = Σ[1,n]log(a_i) (←こうなら、いろいろ資産活用できる)
の範囲を適度に拡大しただけのことでね