EMBA: Each More Beautiful than the Antecedent (∀n, Bn>B[n-1])
EMBC: Each More Beautiful than the Consequent (∀n, Bn>B[n+1])
{n.b. The former is most often what's meant by by the expression "each more beautiful than the last" but the best formulation to use depends on context}