Defines the problem statement and introduces Redis