A minimal pair of K-degrees

We construct a minimal pair of K-degrees. We do this by showing the existence of an unbounded nondecreasing function f which forces K-triviality in the sense that γ ∈ 2 ω is K-trivial if and only if for all n, K(γ | n) ≤ K(n) + f(n) + O(1).