nekomata_saren@tg
says to
YSITD
最後就是證明算法的lower bound