ɐ kˈɑːksɛɾɚ ɡɹˈuːp hɐz ɐ lˈɔŋɡɪst ˈɛlɪmənt ɪf ænd ˈoʊnli ɪf ɪɾ ɪz fˈaɪnaɪt; "ˈoʊnli ɪf" ɪz bɪkˈʌz ðə sˈaɪz ʌvðə ɡɹˈuːp ɪz bˈaʊndᵻd baɪ ðə nˈʌmbɚɹ ʌv wˈɜːdz ʌv lˈɛŋθ lˈɛs ðɐn ɔːɹ ˈiːkwəl tə ðə mˈæksɪməm.
A Coxeter group has a longest element if and only if it is finite; "only if" is because the size of the group is bounded by the number of words of length less than or equal to the maximum.