Algorithms yield upper bounds in differential algebra