The tightest upper bound proven so far is 4.5 n {\displaystyle 4.5n} .
これまでに証明された最もきつい上限は 4.5 n {\displaystyle 4.5n} である。