#include using namespace std; template // return_type struct MongeDP { int n; vector dp; vector pre; function cmp; // true is left better function w; MongeDP(int _n, function c, function get_cost) : n(_n), dp(n + 1), pre(n + 1, -1), cmp(c), w(get_cost) { deque> dcs; // decision dcs.emplace_back(0, 1, n); // transition from dp[0] is effective for [1, N] for (int i = 1; i <= n; ++i) { while (get<2>(dcs.front()) < i) dcs.pop_front(); // right bound is out-dated pre[i] = get<0>(dcs.front()); dp[i] = dp[pre[i]] + w(pre[i], i); // best t is A[dcs.top(), i) while (dcs.size()) { int x, lb, rb; tie(x, lb, rb) = dcs.back(); if (lb <= i) break; // will be pop_fronted soon anyway if (!cmp(dp[x] + w(x, lb), dp[i] + w(i, lb))) { dcs.pop_back(); if (dcs.size()) get<2>(dcs.back()) = n; } else break; } int best = -1; for (int lb = i + 1, rb = n, x = get<0>(dcs.back()); lb <= rb; ) { int mb = lb + rb >> 1; if (cmp(dp[i] + w(i, mb), dp[x] + w(x, mb))) { best = mb; rb = mb - 1; } else lb = mb + 1; } if (~best) { get<2>(dcs.back()) = best - 1; dcs.emplace_back(i, best, n); } } } void ensure_monge_condition() { // Monge Condition: i <= j <= k <= l then w(i, l) + w(j, k) >(<)= w(i, k) + w(j, l) for (int i = 0; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) for (int l = k; l <= n; ++l) { R w0 = w(i, l), w1 = w(j, k), w2 = w(i, k), w3 = w(j, l); assert(w0 + w1 >= w2 + w3); // if maximization, revert the sign } } R operator[](int x) { return dp[x]; } }; signed main() { ios::sync_with_stdio(false); int N, A, B, W; cin >> N >> A >> B >> W; vector D(N); for (int i = 0; i < N; ++i) { cin >> D[i]; } D.push_back(-A); ++N; MongeDP mdp(N, [](int64_t x, int64_t y) { return x < y; }, [&](int x, int rb) { int i = rb - 1 - x; return D[rb - 1] - (int64_t) i * A + (int64_t) i * (i + 1) / 2 * B; }); int64_t ans = W + A + mdp[N]; cout << ans << endl; return 0; }