ParentFull threadhebdo·> Of course, the proof for (tan(x) is irrational for rational x != 0) might be complicatedIt is: http://www.pi314.net/eng/lambert.phpView on HN