Sequences with increasing subsequence - Łukasz Mazurkiewicz; Szymon Żeberski (2023)