Take all the naturals and for each pair (i, j) with i j with fixed probability p, thus obtaining an infinite DAG (directed acyclic graph) G. Let T be the transitive reduction of G (which is unique). How does the length of the shortest path *in T* from node h to node k (if any) grow with their 'numeric distance' (k - h)?
(The *longest* path from h to k should grow linearly with their numeric distance.)