Dynamic Optimality Conjecture on the Tech Tree