%I #29 Sep 08 2022 08:45:55
%S 1,1,1,3,1,3,1,3,5,7,1,3,1,3,5,7,1,3,1,3,5,7,1,3,5,7,17,11,1,3,1,3,5,
%T 7,13,11,1,3,5,7,1,3,1,3,5,7,1,3,5,7,17,11,1,3,5,7,29,11,1,3,1,3,5,7,
%U 13,11,1,3,5,7,1,3,1,3,5,7,13,11,1,3,5,7,1,3,5,7,17,11,1,3,5,7,29
%N The smallest positive noncomposite q such that 2n-1 = 2p+q for some positive noncomposite p.
%C It is a Goldbach conjecture variant that terms exist for 2n-1 >= 5.
%C Lemma: N=2n-1 is coprime to q=a(n) unless N=3q. Proof: Suppose N and q are not coprime; so we have N=2p+q=iq with i=/=1=/=q, so (i-1)q=2p; now since q=/=2 (because N is odd), then q=p and i=3. QED.
%C Empirically, N=3q only for N=9,21.
%D Emile Lemoine, L'intermédiaire des mathématiciens, 1 (1894), 179; ibid 3 (1896), 151.
%H Jason Kimberley, <a href="/A185091/b185091.txt">Table of n, a(n) for n = 2..10002</a> (corrected by Michel Marcus, Jan 19 2019)
%H Brian H. Mayoh, <a href="http://dx.doi.org/10.1007/BF01939548">On the second Goldbach conjecture</a>, BIT Numerical Mathematics 6 (1966) 1, 48-50
%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Lemoine%27s_conjecture">Lemoine's conjecture</a>
%H <a href="/index/Go#Goldbach">Index entries for sequences related to Goldbach conjecture</a>
%o (Magma) A185091 := func<n|exists(q){q:q in[1..N div 3 by 2]|(q eq 1 or IsPrime(q))and IsPrime((N-q)div 2)}select q else -1 where N is 2*n-1>;[A185091(n):n in [3..94]];
%Y Records in this sequence are in A002092 occurring at 2n-1 in A002091.
%K nonn,easy
%O 2,4
%A _Jason Kimberley_ (with thanks to _Hugo Pfoertner_), Sep 05 2011
|