On the rank of the elliptic curves with a rational point of order 4 (Q1884114)

The author proves the following two theorems: 1) There is an elliptic curve defined over \(\mathbb Q(t)\) with a rational point of order \(4\) and rank \(\geq 4\). 2) There are infinitely many elliptic curves defined over \(\mathbb Q\) with a rational point of order \(4\) and rank \(\geq 5\).