A nonstandard law of the iterated logarithm for trimmed sums
scientific article; zbMATH DE number 428660