#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;}

// reverse
#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 count[50000001];

main(){
	mksieve();

	char rbuf[64],*rp=rbuf;
	read(0,rbuf,sizeof rbuf);
	rd(n);
	
	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){
				j/=p;
			}else{
				l*=p;
			}
		}
		count[l]+=1;
	}

	int res=0;
	for(int i=1;i<=n;++i){
		res+=count[i]*count[i];
	}

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