<?php


[$N] = fscanf(STDIN, "%d");
$A = fscanf(STDIN, str_repeat("%d", $N));
$start = $A[0];
$mon = 1000;
$max = 0;
for($i=1;$i<$N;$i++){
//    if($start != 0){
    if($A[$i] > $start){
        if($max != 0){
            if($A[$i] > $max){
                $max = $A[$i];
            }else{
                $kabu = intdiv($mon, $start);
                $mon -= $kabu * $start;
                $mon += $kabu * $max;
                $start = $A[$i];
                $max = 0;
            }
        }else{
            $max = $A[$i];
        }
    }else{
        $start = $A[$i];
    }


}
if($max != 0){
    $kabu = intdiv($mon, $start);
    $mon -= $kabu * $start;
    $mon += $kabu * $max;
    $max = 0;
}
echo $mon;