In 1914, Hardy proved that infinitely many non-trivial zeros of the Riemann zeta function lie on the critical line using the transformation formula of the Jacobi theta function. Recently the first author obtained an integral ...