FUNCTION_MANY#domain f(n)=(2^n)/(2^{n+1)}