[math-fun] 13 as a constant, With Moebius functions