index_maxprod(x) MAXPROD index is the same as the discrete Shilkret
integral of x w.r.t. the counting measure.
See index_lp for a natural generalization.
index_g,
index_g_zi, index_h,
index_lp, index_rp,
index_w, index.g,
index.h, index.lp,
index.rp