digraph foo {
"k *" -> "k+1 *" -> "..." -> n
"k-1" -> "+inf"
}