行数を2倍にすると、避けられない赤い円がおよそ1個だけ増えるはずであり、これはまさに底が2の対数の振る舞いである。
求める答えは k=⌊log2n⌋+1k=\lfloor\log_2n\rfloor+1k=⌊log2n⌋+1 である。残りの部分では、ある三角形がすべての経路にこの個数以下の赤い円しか許さないこと、そしてどの三角形にもこの個数以上の赤い円を持つ経路が存在することの両方を証明する。