Siehe PN, "BeatingSqrt2".