GenEcon, 1 year ago (edited 9 months ago)

Still, we can’t proof that Pi^Pi^Pi^Pi is an integer or not, since we don’t know enough digits.