Dentro del else agregamos input.value = " "; y input.focus( ); esto como método de mejorar nuestro codigo, este tipo de datos necesarios en la documentación, son requeridos para mejorar la experiencia de la persona que usa la pagina y nosotros como desarrolladores, en contexto son tips a agregar,para mejorar la usabilidad y experiencia. Adicional el input.focus( ); se agrega desde el inicio para dar valor inicial y al final de la funcionalidad del código al metodo o accion agregada. Adicional fuera de la sentencia condicional (if-else) se agrega: var button = document.querySelector("button"); y button.onclick = verificar; para el llamado de la función y dar acción al botón creado de acuerdo a la misma por default.