// UUID: ffe0e079-84dd-43cd-8859-09d250b0be8e
#include <bits/stdc++.h>
using namespace std;

int main() {
	int n;
	cin>>n;
	int time=0;
	vector<pair<int,int>>anyagok(n);
	for(int i=0;i<n;i++){
		cin>>anyagok[i].first;
	}
	for(int i=0;i<n;i++){
		cin>>anyagok[i].second;
	}
	sort(anyagok.rbegin(),anyagok.rend());
	int xp=0;
	for(int i=0;i<n;i++){
		if(xp>=anyagok[i].first){
			xp+=anyagok[i].second;
			time+=anyagok[i].second;
		}
		else if(xp+anyagok[i].second>=anyagok[i].first){
			time+=anyagok[i].first-xp;
			time+=2*(anyagok[i].second-(anyagok[i].first-xp));
			xp+=anyagok[i].second;
		}
		else{xp+=anyagok[i].second;
			time+=anyagok[i].second*2;}
	}
	cout<<time;
}