Dobiński's_formula loading ...