Dynamic Optimality Conjecture