How to prove that g is less than k?