Leko says to YSITD
可以取 >= n!/2 是必然結果