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