Let N0 be the set of all non-negative integers and let f:N0×N0→[0,+∞) be a function such that f(a,b)=f(b,a) and f(a,b)=f(a+1,b)+f(a,b+1), for all a,b∈N0. Denote by xn=f(n,0) for all n∈N0.
Prove that for all n∈N0 the following inequality takes place 2nxn≥x0.