Positive correlations and buffer occupancy: lower bounds via supermodular ordering | IEEE Conference Publication | IEEE Xplore