is ln(5)/ln(2) irrational