A page replacement that satisfies the
inclusion property is free from Belady anomaly.
Prove this proposition rigorously.
Show that the working set model satisfies the inclusion property,
and hence is Belady anomaly free.
You do not have to turn in your paper. What I really expect
you to do is using these problems to gauge your understanding
of the subject. So, do the problems after finish
reading the above sections.