[hebdo]

> Of course, the proof for (tan(x) is irrational for rational x != 0) might be complicated

It is: http://www.pi314.net/eng/lambert.php