A,B,C=map(int,input().split())
ans=0

def counts(x):
	return x*(x+1)//2


for i in range(1,C+1):
	m=B-min(B,C//i)
	ans+=max(0,A-i+1)*(counts(B)-counts(m))
print(ans)