add(0,0).
add(1,1).
add(Limit, Total) :-
	Limit1 is Limit -2,
	add(Limit1, Sub1),
	Total is Sub1+1/Limit+1/(Limit-1).

doit :- add(500000, X),
	write(X).
