Proof_that_e_is_irrational loading ...