WolframAlpha computational knowledge AI
n*ln(4)-1/2*ln(2*n+1)-ln({2n\choose n+m})>=m^2/n