[math-fun] smallest "non-Web" positive integer?