@wppwah @mathpunk I won't disagree with that, because I don't think "smallest uninteresting number" is an interesting property anyway