<?php
fscanf(STDIN,"%d",$n);
$a_li=explode(" ",trim(fgets(STDIN)));

$max=0;
$sum=0;
for($i=1;$i<30;$i++){
  foreach($a_li as $v){
    $sum+=($i%$v);
  }
  $max=max($sum,$max);
  $sum=0;
}

echo $max."\n";




