A universal prediction lemma and applications to universal data compression | IEEE Conference Publication | IEEE Xplore