#include<bits/stdc++.h>
#define chmin(x,y) (x) = min((x),(y))
#define chmax(x,y) (x) = max((x),(y))
using namespace std;
using ll = long long;

void validate(ll x, ll m){
  assert(x >= 1 && x <= m);
}

int main(){
  // input
  int N; ll H;
  cin >> N >> H;
  validate(N,100000);
  validate(H,1000000000);
  vector<ll> A(N),B(N),S(N+1); // S[i]: Bの累積和
  for(int i = 0; i < N; i++){
    cin >> A[i];
    validate(A[i],1000000000);
  }
  for(int i = 0; i < N; i++){
    cin >> B[i];
    validate(B[i],1000000000);
    S[i+1] = S[i] + B[i];
  }
  
  // solve: 尺取法
  ll ans = 0;
  ll tmp = 0, need_hp = 0;
  int r = 0;
  for(int l = 0; l < N; l++){
    // right < n && (right を 1 個進めたときに条件を満たす)
    while(r < N && need_hp + B[r] * (r-l+1) <= H){
      tmp += A[r];
      need_hp += B[r] * (r-l+1);
      r++;
    }
    
    // break した状態で right は条件を満たす最大なので、何かする
    // cout << l << " " << r << " " << need_hp << " " << tmp << endl;
    chmax(ans,tmp);
    
    // left をインクリメントする準備
    if(l == r) r++;
    else{
      tmp -= A[l];
      need_hp -= S[r]-S[l]; // 累積和で差分をO(1)更新できることに気付くのが本問のポイント
    }
  }
  
  // output
  cout << ans << endl;
}