36π/127 conjecture failed

My recent conjecture that the non-differentiable function
f(x)=i=0sin(2ix)2i
reaches the maximum at the point x0=36π/127 appears to be false (thanks to people from sci.math group for pointing it out).
This is demonstrated by the following graph of the differential quotient f(x0)f(x0h)h, where x0=36π127.

Logarithmic (by h) graph of the quotient (f(x0)-f(x0-h))/h. Horizontal axis is h.
Graph of a quotient with the bigger scale makes it more obvious:
Logarithmic (by x) graph of the same quotient (f(x0)-f(x0-h))/h, bigger scale.
As it can be seen from the graphs, at the certain point h between 1029 and 1028 the quotient becomes negative, which means that there exists such h, that f(x0+h)>f(x0). Apparently, the extremal value is h≈1.998e-29, giving f(x0+h)f(x0)3.06˙1032.
f(x0)=1.329833276287310850440418286206506387707650784...
f(x0-1.998e-29)=1.329833276287310850440418286206535446963412182...
An important note about this calculation: the usual IEEE double accuracy (53 bits, about 16 decimal digits) is insufficient, and long doubles must to be used to obtain the result. For the above calculation I used 1000-bit long floating point values having roughly roughly 300 decimal digits. This, I believe, makes the numeric results trustworthy enough.
There is still a possibility that the maximum is reached at some rational multiple of π, but it never be as simple, as 36π/127. I feel a strange mix of frustration and enlightenment regarding this failure, the result seems absolutely counter-intuitive for me. Why x0/π is so incredibly close to the rational value? Is it just a fantastic coincidence, or a consequence of a some deeper facts?
This result strongly resembles the "Almost Integer" values in mathematics. it can be re-formulated in the following way:
N=127πargmini=0sin(2ix)2i=36+ϵ where |ϵ|<1027. I.e. N is an almost integer value.

Comments