Search: ergodic theorem with Möbius weights