LRU is better than FIFO under the independent reference model