[seqfan] Incorrect bound for the prime counting function?

[Peter Luschny]

Christian Axler, NEW BOUNDS FOR THE PRIME COUNTING FUNCTION,
INTEGERS 16 (2016), page 8, last formula in corollary 3.4,
(or version 7 of the arXiv version, page 5, corollary 3.5)
https://arxiv.org/abs/1409.1780 states that:

If x >= 5.43, then PrimePi(x) < x / (log(x) - 1 - (1.17/log(x))).

Wolfram Alpha says: primepi(4096000) = 289511
Axler's bound gives: 289497.0

Can anyone confirm my observation or do I misread something?

Cheers, Peter