Self-referential truth count
On a sheet of paper are statements. The first reads, "at most of these statements are true." The second reads, "at most of these statements are true." In general, the th statement says, "at most of these statements are true." How many statements are true?
Let the statements be numbered . Statement says: "at most of these statements are true."
Let be the total number of true statements. For statement to be true, we must have ; for it to be false, . Hence statement is true exactly when .
Thus the true statements are those with indices . The number of such statements is . But this number must equal itself, because is the total number of true statements. Therefore:
Check: If , then statements through are true (50 statements). Statement says "at most are true" — true because exactly are true. Statement says "at most are true" — false because . All statements through are false because each claims "at most are true" with , but . All statements through are true because each claims "at most are true" with , and . Hence exactly statements are true, consistent with .
Thus the answer is .