thankyouforyour@tg
says to
電訊台
prove time complexity, prove correctness