wip on large deviation bound