#include <bits/stdc++.h>
using namespace std;
long long binpow(long long a, long long b) {
  long long res = 1;
  while (b > 0) {
    if (b & 1) res = res * a;
    a = a * a;
    b >>= 1;
  }
  return res;
}
long long gcd(long long a, long long b) {
  if (b == 0)
    return a;
  else
    return gcd(b, a % b);
}
int32_t main() {
  int k, n;
  cin >> k >> n;
  int a[k];
  int len = sizeof(a) / sizeof(a[0]);
  if (len <= 1) {
    cout << n << '\n';
    ;
  } else {
    int sum = 0;
    for (int i = 0; i < n; i++) {
      sum += min(a[i], a[i + 1]);
    }
    cout << sum << '\n';
    ;
  }
}
