import java.io.*;
import java.lang.*;
import java.util.*;

public class ss {

  

  public static void main(String[] args) throws IOException {

    BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));

    String line;
    
    

    while ((line = reader.readLine()) != null) {

      if ("0".equals(line)) {
	 //System.out.println("end");
	 return;
      }

      // parametry na radku
      String[] params = line.split("\\s");
      int[] num = toInts(params);

      int days = num[0];
      int money = num[1];
      

      line = reader.readLine();

//      if ("end".equals(line)) {
//	  System.out.println("end");
//	 return;
//      }

      // parametry na radku
      params = line.split("\\s");
      num = toInts(params);

      
      long b = 70001;
      long s = 0;
      long count = 0; 


      for (int i = 0; i<num.length; i++) {
	  if (num[i] < b) {
	    b = num[i];
	    count = money / b;
	  }
	  if ((num[i] - b) * count > s) {
	    s = (num[i] - b)  * count;
	  }


      }



      System.out.println(s);
      

//      System.out.println(Arrays.toString(params));

    }


  }

  public static int toInt(String text) {
    return Integer.parseInt(text);
  }

  public static int[] toInts(String[] texts) {
      int[] nums = new int[texts.length];
      for (int i = 0; i<texts.length; i++) {
	nums[i] = toInt(texts[i]);
      }
    return nums;
  }

// hours minutes higher / lower
    static String makeLine(int row, int hh, int hl, int mh, int ml) {
	return rows[hh][row] + "  "+rows[hl][row]+"  "+(((row==2)||(row==4))?"o":" ")+"  "+rows[mh][row]+"  "+rows[ml][row];
    }

    static final String HL_101 = "+   +"; 
    static final String HL_111 = "+---+";
    static final String HL_001 = "    +";
    
    static final String VL_11 = "|   |";
    static final String VL_10 = "|    ";
    static final String VL_01 = "    |";
    static final String VL_00 = "     ";

    // number, line
    private static final String [][] rows = new String [][] {
	{HL_111 , VL_11, VL_11, HL_101, VL_11, VL_11, HL_111}, // 0
	{HL_001 , VL_01, VL_01, HL_001, VL_01, VL_01, HL_001}, // 1
	{HL_111 , VL_01, VL_01, HL_111, VL_10, VL_10, HL_111}, // 2
	{HL_111 , VL_01, VL_01, HL_111, VL_01, VL_01, HL_111}, // 3
	{HL_101 , VL_11, VL_11, HL_111, VL_01, VL_01, HL_001}, // 4
	{HL_111 , VL_10, VL_10, HL_111, VL_01, VL_01, HL_111}, // 5
	{HL_111 , VL_10, VL_10, HL_111, VL_11, VL_11, HL_111}, // 6
	{HL_111 , VL_01, VL_01, HL_001, VL_01, VL_01, HL_001}, // 7
	{HL_111 , VL_11, VL_11, HL_111, VL_11, VL_11, HL_111}, // 8
	{HL_111 , VL_11, VL_11, HL_111, VL_01, VL_01, HL_111} // 9
    };

}