Help:=proc() : print(` MK(n), MA(m) `): end: with(combinat): #MK(n): The left side of AMM problem 11545 (proposed by #Manuel Kauers and Sheng-Lan Ko MK:=proc(n) local k: add((-1)^k*binomial(2*n,n+k)*stirling1(n+k,k),k=0..n): end: with(numtheory): MA:=proc(m) add(phi(2*k+1)*trunc((m+k)/(2*k+1)),k=0..m-1): end: