#define _USE_MATH_DEFINES #include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) #define ALL(v) (v).begin(),(v).end() using ll = long long; constexpr int INF = 0x3f3f3f3f; constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL; constexpr double EPS = 1e-8; constexpr int MOD = 1000000007; // constexpr int MOD = 998244353; constexpr int DY4[]{1, 0, -1, 0}, DX4[]{0, -1, 0, 1}; constexpr int DY8[]{1, 1, 0, -1, -1, -1, 0, 1}; constexpr int DX8[]{0, -1, -1, -1, 0, 1, 1, 1}; template inline bool chmax(T& a, U b) { return a < b ? (a = b, true) : false; } template inline bool chmin(T& a, U b) { return a > b ? (a = b, true) : false; } struct IOSetup { IOSetup() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << fixed << setprecision(20); } } iosetup; template struct SegmentTree { using Monoid = typename T::Monoid; explicit SegmentTree(int n) : SegmentTree(std::vector(n, T::id())) {} explicit SegmentTree(const std::vector& a) : n(a.size()), p2(1) { while (p2 < n) p2 <<= 1; dat.assign(p2 << 1, T::id()); std::copy(a.begin(), a.end(), dat.begin() + p2); for (int i = p2 - 1; i > 0; --i) { dat[i] = T::merge(dat[i << 1], dat[(i << 1) + 1]); } } void set(int idx, const Monoid val) { idx += p2; dat[idx] = val; while (idx >>= 1) dat[idx] = T::merge(dat[idx << 1], dat[(idx << 1) + 1]); } Monoid get(int left, int right) const { Monoid res_l = T::id(), res_r = T::id(); for (left += p2, right += p2; left < right; left >>= 1, right >>= 1) { if (left & 1) res_l = T::merge(res_l, dat[left++]); if (right & 1) res_r = T::merge(dat[--right], res_r); } return T::merge(res_l, res_r); } Monoid operator[](const int idx) const { return dat[idx + p2]; } template int find_right(int left, const G g) { if (left >= n) return n; Monoid val = T::id(); left += p2; do { while (!(left & 1)) left >>= 1; Monoid nxt = T::merge(val, dat[left]); if (!g(nxt)) { while (left < p2) { left <<= 1; nxt = T::merge(val, dat[left]); if (g(nxt)) { val = nxt; ++left; } } return left - p2; } val = nxt; ++left; } while (__builtin_popcount(left) > 1); return n; } template int find_left(int right, const G g) { if (right <= 0) return -1; Monoid val = T::id(); right += p2; do { --right; while (right > 1 && (right & 1)) right >>= 1; Monoid nxt = T::merge(dat[right], val); if (!g(nxt)) { while (right < p2) { right = (right << 1) + 1; nxt = T::merge(dat[right], val); if (g(nxt)) { val = nxt; --right; } } return right - p2; } val = nxt; } while (__builtin_popcount(right) > 1); return -1; } private: const int n; int p2; std::vector dat; }; namespace monoid { template struct RangeMinimumQuery { using Monoid = T; static constexpr Monoid id() { return std::numeric_limits::max(); } static Monoid merge(const Monoid& a, const Monoid& b) { return std::min(a, b); } }; template struct RangeMaximumQuery { using Monoid = T; static constexpr Monoid id() { return std::numeric_limits::lowest(); } static Monoid merge(const Monoid& a, const Monoid& b) { return std::max(a, b); } }; template struct RangeSumQuery { using Monoid = T; static constexpr Monoid id() { return 0; } static Monoid merge(const Monoid& a, const Monoid& b) { return a + b; } }; } // namespace monoid int main() { int n; cin >> n; vector a(n), b(n); REP(i, n) cin >> a[i]; REP(i, n) cin >> b[i]; vector ord(n); iota(ALL(ord), 0); sort(ALL(ord), [&](int x, int y) -> bool { return b[x] < b[y]; }); vector l(n, 0); SegmentTree> seg(n); for (int i : ord) { chmax(l[i], seg.find_left(i, [&](int x) -> bool { return x < a[i] - b[i]; }) + 1); seg.set(i, a[i] - b[i]); } reverse(ALL(ord)); REP(i, n) seg.set(i, monoid::RangeMaximumQuery::id()); for (int i : ord) { chmax(l[i], seg.find_left(i, [&](int x) -> bool { return x < a[i] + b[i]; }) + 1); seg.set(i, a[i] + b[i]); } FOR(i, 1, n) chmax(l[i], l[i - 1]); ll ans = 0; REP(i, n) ans += i - l[i]; cout << ans << '\n'; return 0; }