Considere que um semáforo instalado no trajeto do BRT fique, quando os laços não são acionados pelas tags, t segundos no verde e (60 - t ) segundos no vermelho a cada minuto (os poucos segundos do amarelo são desprezados). Se r( t) é a razão entre os tempos que, a cada minuto, esse semáforo fica verde e vermelho, no caso em que os BRTs acionam o sistema inteligente constantemente, tanto no verde quanto no vermelho, então r(t) é, no máximo, igual a