User blog comment:Primussupremus/f2(n)/@comment-24920136-20170307184054

f_2(x) = (2^x)*x

so yes f_2(4) = (2^4)*4 = 16*4 = 64