> although it's proven that at least one of them is irrational And not particular to e and pi. More generally, at least one of a+b and a*b must be irrational,

> although it's proven that at least one of them is irrational And not particular to e and pi. More generally, at least one of a+b and a*b must be irrational, if an and b are transcendental.