https://ark.k3k.dev/posts/proving-runtime-of-algorithms/