  We illustrate the power of Experimental Mathematics and Symbolic Computation
to suggest irrationality proofs of natural constants, and the determination of
their irrationality measures. Sometimes such proofs can be fully automated, but
sometimes there is still need for a human touch.
