2008 Volume E91.D Issue 10 Pages 2517-2518
The C-oscillation due to Martin-Löf shows that {α|∀n[C(α↑n)≥n-O(1)]}=0, which also follows {α|∀n[K(α↑n)≥n+K(n)-O(1)]}=0. By generalizing them, we show that there does not exist a real α such that ∀n(K(α↑n)≥n+λK(n)-O(1))for any λ>0.