Mathematica's PrimeQ returns True. See http://mathworld.wolfram.com/Khinchin-Prime.html and
http://mathworld.wolfram.com/HarmonicNumber.html, resp.

To be completed...