[see also: justify, legitimate, meaningless
This shows that the sequence (1) is bounded below, and so the definition of L(f) is meaningful.