The applet below is for a help to understand proof of Lemma 1 of a page of 'Literka' monotone subsequences. There are descriptions of steps of this applet. To use applet with a sequence written by 'Literka' click 'next step' or 'final result'. You can test your own sequence by exchanging sequence given by 'Literka' and clicking 'click here to start'. Do not write a sequence longer than 10 (ten numbers). Numbers should be separated by commas or spaces. Decimals can be used.