improve upbound to 2^64-2, baby try pi(2^64-e9, 2^64-2)