0x691b3150 November 17, 2025 Note \((tfrac{k}{e})^k \le k! \le k^k\) (see (0x68dcfef9) ). \(k!< (\frac{k+1}{2})^k\) (see (0x691b30d1) )