See http://ambur.net/irrationality.pdf