Considere o script shell abaixo.

#!/bin/bash

val=5

while [ __________ ];

do

echo $val

val=$((val+1))

done

Assinale a alternativa que completa de maneira correta a lacuna entre os colchetes, de modo que o script shell exiba os números inteiros de 5 a 15 inclusive, ao ser executado em um computador com sistema operacional CentOS Linux.