<?php

fscanf(STDIN,"%d",$n);
$arr=array_map('intval',explode(" ",fgets(STDIN)));
$chart=[];
$x=0;
$y=0;
$money=1000;
for($i=1;$i<$n;$i++){
    $chart[$x][$y]=$arr[$i-1];
    $y+=1;
    
    if($arr[$i]==end($arr)){
        if($arr[$i-1]<$arr[$i]){
            $chart[$x][$y]=$arr[$i];
        }else{
            $chart[$x+1][0]=$arr[$i];
        }
        break;
    }elseif($arr[$i-1]>$arr[$i]){
        $x+=1;
        $y=0;
    }
}
for($j=0;$j<count($chart);$j++){
    if(count($chart[$j])>=2){
    $money=intdiv($money,min($chart[$j]))*max($chart[$j])+$money%min($chart[$j]);
    }
}
echo $money;