Assertion: sequence's value | /r/HasProperty | u n−3
Facets:
Source sentences:
text: This means that for all U n with n > 3, the greatest value that U j can have is U n−3 and the greatest value that U k can have is U n−1 .