lower bound on timekey