#include <iostream>
//#include <fstream>
#include <sstream>
#include <cstdio>
#include <cstring>
#include <string>
#include <cmath>
#include <algorithm>
//#include <map>
#include <stack>
#include <queue>
#include <vector>
//#include <deque>
#include <functional>
#include <ctime>
#include <cstdlib>
#include <iomanip>
using namespace std;
typedef long long LL;
#define F(a,b) for(int a=0;a<b;++a)
const int Max = 200001;
LL ans,k,m;;
pair<LL,LL> s[Max],tmp[Max];
void Count(int L,int M,int R){
int i = L,j = M+1,pos = 0;
while(i<=M && j<=R){
if(s[i].first < s[j].first && s[i].second > s[j].second){
tmp[pos++] = s[j++];
ans += M - i + 1;
}
else tmp[pos++] = s[i++];
}
while(i <= M)tmp[pos++] = s[i++];
while(j <= R)tmp[pos++] = s[j++];
int now = 0;
while(now < pos)s[L++] = tmp[now++];
}
void Divide(int L,int R){
if(L == R)return;
int M = (L+R)/2;
Divide(L,M);
Divide(M+1,R);
Count(L,M,R);
}
int main(){
while(~scanf("%lld%lld",&k,&m)){
ans = 0;
F(i,k)scanf("%lld",&s[i].first);
F(i,k)scanf("%lld",&s[i].second);
sort(s,s+k);
Divide(0,(int)k-1);
printf("%lld\n",ans);
}
}
I2luY2x1ZGUgPGlvc3RyZWFtPgovLyNpbmNsdWRlIDxmc3RyZWFtPgojaW5jbHVkZSA8c3N0cmVhbT4KI2luY2x1ZGUgPGNzdGRpbz4KI2luY2x1ZGUgPGNzdHJpbmc+CiNpbmNsdWRlIDxzdHJpbmc+CiNpbmNsdWRlIDxjbWF0aD4KI2luY2x1ZGUgPGFsZ29yaXRobT4KLy8jaW5jbHVkZSA8bWFwPgojaW5jbHVkZSA8c3RhY2s+CiNpbmNsdWRlIDxxdWV1ZT4KI2luY2x1ZGUgPHZlY3Rvcj4KLy8jaW5jbHVkZSA8ZGVxdWU+CiNpbmNsdWRlIDxmdW5jdGlvbmFsPgojaW5jbHVkZSA8Y3RpbWU+CiNpbmNsdWRlIDxjc3RkbGliPgojaW5jbHVkZSA8aW9tYW5pcD4KCnVzaW5nIG5hbWVzcGFjZSBzdGQ7CnR5cGVkZWYgbG9uZyBsb25nIExMOwoKI2RlZmluZSBGKGEsYikgZm9yKGludCBhPTA7YTxiOysrYSkKCmNvbnN0IGludCBNYXggPSAyMDAwMDE7CgpMTCBhbnMsayxtOzsKcGFpcjxMTCxMTD4gc1tNYXhdLHRtcFtNYXhdOwoKdm9pZCBDb3VudChpbnQgTCxpbnQgTSxpbnQgUil7CiAgICBpbnQgaSA9IEwsaiA9IE0rMSxwb3MgPSAwOwogICAgd2hpbGUoaTw9TSAmJiBqPD1SKXsKICAgICAgICBpZihzW2ldLmZpcnN0IDwgc1tqXS5maXJzdCAmJiBzW2ldLnNlY29uZCA+IHNbal0uc2Vjb25kKXsKICAgICAgICAgICAgdG1wW3BvcysrXSA9IHNbaisrXTsKICAgICAgICAgICAgYW5zICs9IE0gLSBpICsgMTsKICAgICAgICB9CiAgICAgICAgZWxzZSB0bXBbcG9zKytdID0gc1tpKytdOwogICAgfQogICAgd2hpbGUoaSA8PSBNKXRtcFtwb3MrK10gPSBzW2krK107CiAgICB3aGlsZShqIDw9IFIpdG1wW3BvcysrXSA9IHNbaisrXTsKICAgIGludCBub3cgPSAwOwogICAgd2hpbGUobm93IDwgcG9zKXNbTCsrXSA9IHRtcFtub3crK107Cn0KCgp2b2lkIERpdmlkZShpbnQgTCxpbnQgUil7CiAgICBpZihMID09IFIpcmV0dXJuOwogICAgaW50IE0gPSAoTCtSKS8yOwogICAgRGl2aWRlKEwsTSk7CiAgICBEaXZpZGUoTSsxLFIpOwogICAgQ291bnQoTCxNLFIpOwp9CgppbnQgbWFpbigpewogICAgd2hpbGUofnNjYW5mKCIlbGxkJWxsZCIsJmssJm0pKXsKICAgICAgICBhbnMgPSAwOwogICAgICAgIEYoaSxrKXNjYW5mKCIlbGxkIiwmc1tpXS5maXJzdCk7CiAgICAgICAgRihpLGspc2NhbmYoIiVsbGQiLCZzW2ldLnNlY29uZCk7CiAgICAgICAgc29ydChzLHMrayk7CiAgICAgICAgRGl2aWRlKDAsKGludClrLTEpOwogICAgICAgIHByaW50ZigiJWxsZFxuIixhbnMpOwogICAgfQp9CgoK