Test bound across k