1223一行解（Python）

注意事项:set用于数据清洗（集合元素的唯一性），取其长度-2即可（因为第一个数从0算起被认为是符合条件的，要去除，直接从1开始算那我也不反对，再减去集合中0的元素，即列表中表示不符合条件的元素）

参考代码:

print(len(set(list(map(lambda x : x+1 if (x % 7 == 0 or '7' in str(x)) else 0, (i for i in range(int(input())+1))))))-2)