  We show how infinite series of a certain type involving generalized harmonic
numbers can be computed using a knowledge of symmetric functions and multiple
zeta values. In particular, we prove and generalize some identities recently
conjectured by J. Choi, and give several more families of identities of a
similar nature.
