Infinite recursion during compile expansion

fact.cpp

template <unsigned n>
unsigned fact()
{
	if (n == 0)
		return 1;

	// return n * fact<n - 1>(); <-- not compiles, infinite recursion
	
	return n * fact<n - (n ? 1 : 0)>(); // OK
}