Rigorous Analysis on the Tech Tree