Without Taylor-series see this on the 3rd page (7***).
you first need this basic and simple fact about alternating series that if then
now suppose for some let
thus is an integer. i'll show that this is false, i.e. cannot be an integer: using the MacLaurine expansion of we have:
it's clear by that we also have:
therefore and so is not an integer. Q.E.D.