[Boost-users] factorial function