X-Nico

unusual facts about longest increasing subsequence