keywords følner sequences; non-normal operators; essentially normal operators; c*-algebra; amenable trace; spectral approximation