Definition:Kronecker's Constant