Hello,
I got this conjecture last night, but my math is not good enough to prove it...
if and only if

is divisible by
 / 2)^2)
then there is a non-negative Integer k with

(= M(k) + 3)
another conjecture:
if n>1, n odd then

is divisible by
are these conjectures already known/proven? And if not, any idea how to prove them?
I got them while looking in a self-created file with the (start of) factorisations of numbers of the form:

, p prime (I made TF in this file up to 30 bit, if wanted I'll post it).
Thanks in advance.
mfg
Matthias