[math-fun] approximate partition formula