Proof of Brute Force Implementation

Hello,
I didn’t understand how come that the two marked lines suggest that
< x >=l.

encoders are yet to be studied in class