Kim announces that (by a tedious proof) the upper bound can be reduced to 10.

We use upper case letters to represent inverses of generators. [= capital letters]

an upper semicontinuous function

Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z