Calculate Friedman formulas for large random numbers; attempt to prove that a large random number is a Friedman number