連番は

index("123456789", $x) >= 0

という手もある