(ITA 2016) Seja a sequência {an} definida por a1 = 2 e an+1 = (an^2 + 3)/4 para n ≥ 1. Então, lim(n→∞) an é igual a: