$a=sequence(10);
p maximum_n_ind($a,3);

##</code><code>##

p maximum_n_ind($a);