The number of reachable pairs in a digraph