#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

char*mmap();
#define rd(v) int v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;}

#define wt_rev(v) {long _z=v;do*--wp=_z%10+48;while(_z/=10);}

#define SIEVE_N 50000001
int sieve[SIEVE_N];
void mksieve(){
	for(int i=2;i<SIEVE_N;++i){
		if(sieve[i]==0){
			for(int j=i;j<SIEVE_N;j+=i){
				if(sieve[j]==0){
					sieve[j]=i;
				}
			}
		}
	}
}

int cac[50000001];
short count[50000001];

main(){
	mksieve();

	char rbuf[64],*rp=rbuf;
	read(0,rbuf,sizeof rbuf);
	rd(n);
	
	int res=0;
	for(int i=1;i<=n;++i){
		int j=i;
		int l=1;
		while(j>1){
			int p=sieve[j];
			j/=p;
			if(sieve[j]==p){
				l*=cac[j/p];
				break;
			}
			l*=p;
		}

		cac[i]=l;
		count[l]+=1;
		res+=count[l]*2-1;
	}

	char wbuf[64],*wp=wbuf+sizeof wbuf;
	wt_rev(res);
	write(1,wp,wbuf+sizeof wbuf-wp);
	_exit(0);
}