I am currently reading into the paper \'On computing the length of longest increasing subsequences\' by Michael L. Fredman (https://www.sciencedirect.com/science/article/pii/001
