La irracionalidad y trascendencia de ciertos números, como formula_1, etc.